Thermodynamic limit and decoherence: rigorous results