for V, C being set holds {{}} in SubstitutionSet (V,C)