つまりfに単位元を許すなら法則⊂定理やなー(@´,,・ω・,,`@)