4.7 Thales’s theorem