GREECE: Pythagoras' theorem