Proof too large to fit in margin