For a fixed collection of two constant-mass bodies in an inertial frame, separate their mutual forces from the resultant external force on each:
Adding the two Newton's second law equations and using Newton's third law gives
This is the proof of internal-force cancellation in system momentum. For more bodies, each internal force cancels with its partner once both appear in the sum. A boundary that excludes one interacting body leaves its force in the external force sum. A massive connecting spring must also be included, or its own changing momentum accounted for; its two endpoint forces are not automatically one third-law interaction pair between the carts.
Zero resultant external force gives momentum conservation; complete absence of external forces is sufficient but unnecessary. For constant total mass , the centre of mass has velocity and obeys . Internal interactions can move the parts apart while leaving the centre of mass moving uniformly.
Additional external forces do not invalidate the identified mutual pair. At the instant above, suppose a hand also exerts on . The mutual forces remain and , but the net forces become on and on . Consequently , , , and the centre of mass has acceleration . Pair equality by itself does not promise constant total momentum.