I think it would probably take me 50 years just to fully comprehend this proof alone. Amazing work.