but the converse is less trivial: so we have that any equation has a unique solution in first we show that has no zero divisor: suppose that and now the
equation has two solutions thus this proves that has no zero divisor. next we show that is unitary: choose any then for some now
let then there exists such that but then since has no zero divisor, we must have clearly thus: therefore
finally for any the equation has a (unique) solution, which means any non-zero element of is invertible.