Следующие две теоремы часто оказываются полезными.