theorem :: SCMFSA_2:76

for s being State of SCM+FSA
for S being SCM+FSA-State st S = s holds
IC s = IC S by SCMFSA_1:5, SUBSET_1:def 8;