>>242
>>187によれば乗法・(×)の扱いは定かではないが、扱える演算としては加法+だけを変えている。
そして「a・b≠ab」かつ「a+b=ab」と変えた以外は通常の扱いとしている。
0eを通常の文字eの多項式の如く見なせば0e=0はすぐいえる。
普通通りの、文字xに関する単項式の演算で0x=0となることと同様。