two column algebra proof example problems