After thinking about this for quite some time...what's with mathfags and always doing proofs by contradiction? Why not just make a heavily inductive argument so that nobody would read the proof and just assume that it is correct?
inb4 muh euclid
inb4 muh euclid