Thales' Theorem proof (PDF)