Why does every integer matrix have a Smith normal form, and why is it essentially unique? This tutorial walks through existence, algorithm, and uniqueness.