Euclid's Formula for Primitive Pythagorean Triples