RE: Pythagorean triple