work, hereby publish it under the following license: English Angle bisectors of vertical lines are complementary half-lines. Greek Οι διχοτόμοι κατακορυφήν...
