Theorem that each irreducible component of the Zariski closure of a set of special points in a Shimura variety is a special subvariety