任意のb≠0に対し
a∉Uよりb=ba^(-1)a∉ba^(-1)U