pythagorean triples-proclus