Proof of new S-matrix formula from classical solutions in open string field theory (or, Deriving on-shell open string field amplitudes without using Feynman rules, Part II). (arXiv:2012.01290v2 [hep-th] UPDATED)