[Risolto] Dimostrazione geometria

Mi sembra una "sullenne minchiata" (© Camilleri) chiedere di DIMOSTRARE UNA DEFINIZIONE.
Definizione: il luogo dei punti equidistanti da due rette incidenti che formano due coppie di angoli opposti al vertice consiste di una coppia di rette ortogonali che si chiamano le "bisettrici" degli angoli opposti al vertice, una per coppia, supplementari fra le coppie.
Comunque, in base all'antica saggezza espressa da "ttacca lu ciucciu ndu ole lu patrunu", la dimostrazione richiesta eccola qui.
A) Teorema
A1) Ipotesi: il punto P è sulla bisettrice dell'angolo di vertice V.
A2) Dal punto P abbassare le perpendicolari sui lati fino ai piedi H e K.
A3) Tesi: |PH| = |PK|, le lunghezze dei segmenti PH e PK sono eguali.
B) Dimostrazione
B1) Gli angoli PVH e PVK hanno eguale ampiezza per ipotesi.
B2) Gli angoli VPH e VPK hanno eguale ampiezza per costruzione.
B3) I triangoli HPV e KPV sono congruenti per avere il lato PV comune e i suoi angoli adiacenti d'eguale ampiezza.
B4) Ne segue che i lati corrispondenti PH e PK sono d'eguale lunghezza.