It's like trying to prove 1+1=2

300 pages of Principia Mathematica has entered the chat

I presented the proof for an assessment in an algebraic topology course.

I feel like I remember this from a small textbook I read a quarter century ago.

Well, the first part.

This proof is more of a test to see whether this obvious theorem can be derived from simpler axioms or if it need to be a axiom itself.