theorem :: SCMPDS_3:4

not IC in SCM-Data-Loc