theorem Th2: :: SCMPDS_5:13

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