OP = OQ per costruzione
angoli PnO, PmO, QtO e QsO retti per costruzione ( la tangente è _l_ al raggio)
triangoli PnO, PmO, QtO e QsO rettangoli ed uguali per aver uguale la diagonale ed un cateto (raggio r)
Ne consegue che Pm = Pn = Qd = Qt
OP = OQ per costruzione
angoli PnO, PmO, QtO e QsO retti per costruzione ( la tangente è _l_ al raggio)
triangoli PnO, PmO, QtO e QsO rettangoli ed uguali per aver uguale la diagonale ed un cateto (raggio r)
angolo mOn = angolo sOt perché entrambi somma di due angoli uguali
triangoli mOn ed sOt uguali per aver uguali due lati(raggi) e l'angolo compreso, il che implica mn = st
OP is a radius an PQ in normal to OP ; even AB is normal to OP and two segments both normal to the same segment OP are, necessarily, parallel to each other !!