R+ˆ is surprisingly an integral domain