Está subida la clase del 24 de agosto sobre Teorema de CookLevin