for X, Y being Subset of MC-wff st X c= Y holds
CnS4 X c= CnS4 Y