Mamy dane: 

Załóżmy, że kąt , inaczej  jest o  większy od kąta  inaczej , zatem:

Wiemy, że suma miar w czworokącie jest równa , zatem:

Podstawmy ,  or