Finite integral domains are fields

Using cancellation in an integral domain, the map $x\mapsto ax$ is injective for $a\neq 0$; finiteness forces it to be surjective, so $a$ is a unit. Hence every nonzero element is invertible and the ring is a field.