From Quantum Dynamics to the Canonical Distribution: General Picture and a Rigorous Example