LCHL Constructions 13, 14, 15, *Pythagoras’ Theorem (*Theorem 14), converse of Pythagoras’ Theorem (Theorem 15) & Proposition 9