Точная формулировка этой эквивалентности заключается в следующих теоремах.