[math-fun] Orthodiagonal quadrilaterals