[thedufer]

There's an imprecision here, but that doesn't break the proof. Note that from step 6 on, all it needs to show is "if P and Q are any members of G, then they have the same age". If P = Q, this is trivial, so we really only need to consider the P ≠ Q. This probably should have been stated, though.