Estudio de caso de la Demostración del teorema de Cook-Interpretación de A (w)