proved pyth thm