theorem :: SCMPDS_2:43

for dl being Int_position holds dl <> IC