A Proof of Pitzer's Theorem for Abelian Groups and its Application to Two-Electron Integral Transformation