I know I'm trash at maths, but somehow I don't think that the proof of consecutive integers being co-primes is trivial enough to shrug off as "would be strange if...". Sure, the proof of it is almost a one liner but I definitely didn't understand it on an intuitive level through a first glance.
MC and this kid are actual gods.