> That assumes that inertial mass = gravitational mass, which is assumed to be true, not not proven.
The assertion has been tested experimentally. Inertial and gravitational mass are seen to be equivalent within the bounds of experimental accuracy. The wikipedia article on the "Equivalence Principle" has lists of tests for various versions of the principle: https://en.wikipedia.org/wiki/Equivalence_principle#Modern_u...