Binomial Divisibility and Carry Conditions for Primitive Pythagorean Triples | Synapse