[see also: decide, determine, conclude
This argument also settles the case of K= Γ.
In this paper, we settle that question for normal spaces.