This result records Finitely Generated Projective Modules over a Principal Ideal Domain Are Free as part of the basic toolkit of homological algebra. It supports work with complexes, exact sequences, homology, projective and injective modules, and resolutions.