>>114
>>41にいたる前にも「無理に」という言葉を乱用されていますが、結局無理でなかったですよね。

>b≡0 (mod z')を満たす全てのz'について成り立つことは自明です

全てのz'について何が成り立つのでしょうか？