pythagorean theorem proof with angle labels