Pythagoras puzzled by one of my theorems