two-column proof