Auto-translated
and that’s what needed to be proven.
P.S.: I think I’m becoming a mathematician; this evening of geometry wasn’t helpful, and I have this terrible feeling, with stupid circles still in my head.
Drnik
