3 ms·"...but the proof is too large to fit in this margin."by throwawayoldie 1y ago"...but the proof is too large to fit in this margin."