Which is the layman’s terms of the proof… I don’t get what your goal is.
Is it a building block for learning to read mathematical works? Yes, of course it is. Is this a ridiculous formalized statement? Yes, of course it is. But that’s the point. We need to practice the trivial to build the scaffolding to tackle the exceptional.
I am not wont to draw conclusions with minimal evidence, but your post seems like you are a malicious reductionist that may be suffering from Dunning Kruger syndrome. I apologize in advance if I have miscategorized you based on this limited sample.