The Fundamental Theorem of Finite Abelian Groups

Attached is a proof of the fundamental theorem of finite Abelian groups, which says that every finite Abelian group can be written as a direct sum of cyclic subgroups of prime power order.

While the theorem is VERY beautiful, the proof is… well, accurate, but like many of the proofs from abstract algebra it is somewhat less than illuminating.