 For each nonzero "x" in "A", the two maps
are injective by the cancellation property, and thus, surjective by counting.It follows from the elementary group theory that the nonzero elements of "A" form a group under multiplication.Thus, "A" is a skew-field.