Wprowadźmy oznaczenia jak na rysunku poniżej. 

Zauważmy też, że pole czworokąta ABEF jest różnicą pól trójkąta ABC oraz trójkąta CEF. 

Korzystając z twierdzenia sinusów dla trójkąta DEF możemy zauważyć,