theorem Th5: :: SCMPDS_6:13

for I, J being Program of holds Shift ((stop J),(card I)) c= stop (I ';' J)