S.-Y. A. Chang, J. Qing, and P. Yang proved an important gap theorem for Bach-flat metrics with round sphere as model case in 2007. In this article, we generalize result by establishing conformally invariant theorems 4-manifolds $$(\mathbb {CP}^2, g_{FS})$$ $$(S^2 \times S^2,g_{prod})$$ cases. An iteration argument plays role the of convergence theory is particular importance . The latter provi...