Rの単数群が非自明ならそうだけど |R|>2 でいえる?