finished proofs of cons and transformation properties of integrated energy-momentum