>a÷b=a/b=a・b^{-1}=ab^{-1}
なら、
a÷bc=a/(bc)=a・(bc)^{-1}=a(bc)^{-1}
が ギムに沿った定義だね