あのなー、congruenceとisomorphismとequivalenceの
違いぐらい知ってるっつーの。

で、あの論文の中に出てきたisomorphism(って書いてあっただろヴォケ)が、
本当に数学的に厳密な意味での同型性だと思ってるのか？
ただ「それっぽく」シャレで書いてあるだけだろが。

だいたい、ASCII(でもLatin-1でも良いが、DOSでもUnixでもTTYでも
使えるくらいメジャーなcharacter set)で≡をどう書けっつうんだよアフォが。

ほんまにシャレのわからんヤツやのー。Phil Wadlerの爪の垢でも飲め。