Pythogoras theorem