Jeśli prosta CD jest styczna do okręgu, to kąt ADC jest prosty. 

Podobnie, jeśli prosta FG jest styczna, do kąt AEF jest prosty. 

Odcinki AD i AE są promieniami, więc mają równą długość. 

Czworokąt AEDF jest kwadratem, więc kąt DFE jest prosty, więc kąt GFC także jest prosty. 

Zatem korzystając z twierdzenia Pitagorasa dla trójkąta GFC możemy zapisać:

${\left|FG\right|}^2+4^2={\left(6-1\right)}^2$

${\left|FG\right|}^2+16=25\mid -16$