Keegan says that a quadrilateral is a square if and only if it is a rectangle. Is this a true
biconditional statement?