La demostración se escribe como una serie de líneas en dos columnas.