Rigorous results in nonequilibrium dynamics