Существует несколько доказательств этой эквивалентности, которые имеют одинаковую формулировку, но разный уровень сложности, и базируются как на свойствах действительных чисел, так и на дополнительных предположениях, исторических предпосылках и многом другом.