Neka su i međusobno različite točke na kružnici takve da nije promjer. Neka je tangenta na kružnicu u točki . Neka je točka takva da je polovište dužine . Točka nalazi se na kraćem luku kružnice tako da se opisana kružnica trokuta i pravac sijeku u dvije različite točke. Neka je ono sjecište od i koje je bliže točki . Pravac siječe kružnicu još u točki . Dokaži da pravac dodiruje kružnicu .