Main Theorem

  1. A finite commutative domain is a field.
  2. A finite skew field is a field.

Proof

  1. The first case is basic abstract algebra.

  2. The second one is a big theorem.