Pythagora in non-Euclidean geometry