在Fitch的一个证明过程中，要在一行的前面增加一行，点击Proof菜单中的（）