ちなみに[>754]では右単位元の存在が言えればいいのだが、それができると思い込んだのは間違いだったんだろうか？
一度出来たと思ったのだが、いざやってみるとできない。