Proof 13, TB, close to large margins, non-marginal; fine

细节
Proof 13, TB, close to large margins, non-marginal; fine