generalization (pappus) of pythagorean