Іх раўназначнасць азначае, што іх усе можна даказаць як тэарэмы, калі прыняць V пастулат, і наадварот, замяняючы V пастулат на любое з гэтых сцвярджэнняў, можна даказаць зыходны V пастулат як тэарэму.