Sea $ABCD$ un cuadrilátero convexo. Demuestre que existe un cuadrado $A'B'C'D'$ (Los vértices pueden estar ordenados en sentido horario o antihorario) tal que $A \not = A', B \not = B', C \not = C', D \not = D'$ y $AA',BB',CC',DD'$ son todos concurrentes.