A norm is a function such that for any , we can write where: and , or . (There might be an additional property to the norm function but not all books define it).

Say that where . This means we can write, where or else . But is minimal and so . Thus, which means that . Thus, is a unit by definition. It follows that if then since has the smallest possible norm it means it has to be a unit.