ut5-geometric figures and proofs.pdf