{3,4,5} is non degenerate simplified Pythagorean_triple