Pythagoras theorem 2026