Some progress on proof of multi-instanton approx. solution.