Theory of Inelastic Collisions. II. The Proof of Conjectured Rules for the WKB-Type General Solutions | Synapse