General theorems of the Knaster-Kuratowski- Mazurkiewicz type and applications to the existence study in optimization. (1st December 2020)