Two-column proof
Practice
Check proof