[CurtMonash]

To be clear: This whole thing make massive use of the lemma "If prime p divides b but doesn't divide a+b, then it also doesn't divide a."