逆単位元×逆単位元=単位元までで証明になってる訳だ