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.