Test Axioms, What are the diagonals of a rectangle?