Οι διχοτόμοι των κατακορυφήν γωνιών - Απόδειξη θεωρήματος