正確には

無理数が存在する→有理数が存在しない

を証明した。