Pythagoras' theorem with Rey Williams