Why is 8,15,17 a Pythagorean triple