Equivalence Of Parallel Postulates