Квадрат

Определение

$ABCD$ — квадрат $\iff ABCD$ — прямоугольник, $AB=BC=CD=AD$.