Pythagoras by squares