Three continuity statements and the retained obstruction

The proposition retains the original quantifiers of VII-C CheungVIIC ({:extension}, {:noalgebra}). It is not a universal obstruction to all carrier topologies or all partial products. No global comparison between every normal topology and ${\tau }_{\Sigma }$ is asserted. The distinction between separate continuity, hypocontinuity, and other distribution topologies matters BDH.