Estan ahí. Las demostraciones a los teoremas (de aquellos que las tienen) estan flotando en el eter, ocultas. Los encadenados lógicos y los artilugios estan presentes pero son invisibles.
El proceso de demostración consiste en ir quitando la nieve que los tapa para dejarlos a la vista de todos.
