theorem :: COMPOS_1:9

for S being COM-Struct holds LastLoc (Stop S) = 0 by Lm3;