7. Prove that an integral domain (T, +, ') is a field if it is finite.