Adottak a sík $A\mathrm{,}B\mathrm{,}C\mathrm{,}D$ pontjai, és tudjuk, hogy $A\text{'}\mathrm{,}B\text{'}\mathrm{,}C\text{'}\mathrm{,}D\text{'}$ olyan pontok ugyanebben a síkban, amelyekre $A\text{'}B\text{'}=AB\mathrm{,}B\text{'}C\text{'}=BC\mathrm{,}C\text{'}D\text{'}=CD\mathrm{,}D\text{'}A\text{'}=DA$. Bizonyítandó, hogy ha $AC$ merőleges $BD$-re, akkor $A\text{'}C\text{'}$ merőleges $B\text{'}D\text{'}$-re.