6.7: Pythagoras by Proportions