El método llamado catcher sólo puede lanzar el segundo tipo de errores, y por lo tanto debe manejar el primer tipo si thrower lo lanza.