Thermodynamic limit and relaxation to equilibrium in toral area-preserving transformations. II: rigorous results