Todo dominio entero finito es un campo