Dreaming neural networks: rigorous results. (28th August 2019)