A Quadrilateral Is A Square If And Only If It Has Four Congruent Sides