結果 : what is the last statement in a two column proof