Definition:Primitive Pythagorean Triple