Si F \in \algb{C}, entonces F \in \algb{C}.
Redundante.
He cambiado la demostración por la que yo tengo, que se parecía en
ésta solo en los pasos.
Si alguien está en desacuerdo, que haga revert y me explique el motivo.