theorem Th13: :: COMPOS_1:22

for S being COM-Struct
for F, G being Program of S holds CutLastLoc F c= CutLastLoc (F ';' G)