Redirecting to Pythagoras's theorem proof (rational trigonometry)