Proof Too Large to Fit in Margin