Cualquier cuerpo formula_101 de característica cero tiene un anillo primo isomorfo a los Enteros, por lo que contienen un subcuerpo identificable con los racionales, formula_102 que es obviamente el cuerpo primo del cuerpo.