Dreaming neural networks: rigorous results