>>172
c≢0 (mod de)はどこに書かれていますか?