proof too large to fit in margin