[momentoftop]

If the proof is that size, I'd leave it out of my thesis proper, and just provide a link to it as a stable artifact.