Idea 2 · the helper

If a prime p divides a², then p divides a. Small, but it is the hinge of every irrationality proof.