V první řadě jsme pozorovat, že úhel se 3 ze 4 bodů může být větší rovnosti s , Protože jinak, pokud budeme předpokládat, že WLOG , Potom z a jsme dovodit rozpor.
First of all we observe that no angle formed with 3 of the 4 points can be greater of equal with , because otherwise if we suppose that WLOG , then from and we deduce contradiction.