Title: Inertial Propulsion Explained with Formal Physics, Real Mechanics and Four Proofs