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