推論中沒有提到功過可以相抵，
功過可以相抵是別人的說法。

一減一等於零有兩個前提：
第一個前提是可以減，
第二個前提是前面的一等於後面的一。

所以有就是有，無就是無，
有一功則有一過，無一功則無一過。