theorem :: COMPOS_1:69

for S being COM-Struct
for I being Program of S holds CutLastLoc (stop I) = I ;