Los resultados de los teoremas anteriores se usan (a veces,