ABCD is a square (ie all sides are equal and all angles and rightangles). CX is made to equal CY (using compasses from the centre C.) Prove that AX = AY.