In a nontrival commutative ring with unity, what is a unit?