Equivalent Version of Euclid's Fifth Postulate