theorem Th2: :: COMPOS_1:3

for S being COM-Struct holds 0 in dom (Stop S) by TARSKI:def 1;