- pierwszy kąt trójkąta

- drugi kąt trójkąta

- trzeci kąt trójkąta

Zakładamy, że istnieje trójkąt który ma wszystkie kąty mniejsze od .

Gdy dodamy te kąty otrzymamy: 

J