This is why a square is not defined as “a shape with four sides of equal length and four right angles”. In actual geometry, definitions and theorems build upon each other. A square is defined as a rectangle with four equal sides.