Pythagorean triples & Pythagorean theorem