Looking for Pythagoras Problem 3.2 Summary