Thales's theorem