乗法単位元の一意性