theorem :: COMPOS_1:36

for S being COM-Struct
for I being Program of S holds 0 in dom (stop I) by AFINSQ_1:66;