Si ambos teoremas fallan, deben usarse otros métodos.