Complex sentence: It is a theorem about NBG because it is proved in the metatheory by induction on NBG formulas, and its proof describes how to use NBG axioms when constructing a class satisfying a given formula.
Split into simpler sentences: It is a theorem about NBG because it is proved in the metatheory by induction on NBG formulas. Also, its proof--instead of consisting of NBG axioms--describes how to use these axioms to construct a class satisfying a given formula.