the category of abelian groups has products

parts of the proof are needlessly slow...