Terminando de demostrar el caso supermantigala del incico 4 del problema 4.