0∈SならS^(-1)A=(0)は自明
S^(-1)A=(0)なら、あるs∈Sが存在して、s1=0 ∴s=0∈S