(y-1)≠3の場合の全てを証明できていませんが
> 成否は同じです.

計算方法によって、成否が異なるのは、矛盾です。