Two-column proof