>>465
ん？>>456の後半だぞ

これな
---------------------------
で、要するに、「積の判断」と「逆元の判断」のどちらを先に行うかということだ。
「積の判断」をしてから「逆元の判断」をするのか、
「逆元の判断」をしてから「積の判断」をするのか、どちらだね?

>a/b=(a・1)/b=a・(1/b)=a・b^{-1}=ab^{-1}
>と定義される。
だから、それはもういいから「a÷bc」にどう適用するんだよ？