These are the properties and reason abbreviations used in the proofs that follow.
Angle bisectors β