La "excepción única" es necesaria en ambos teoremas, como se demuestra aquí: