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