theorem Th39: :: COMPOS_1:55

for S being COM-Struct
for I being Program of S holds card (stop I) = (card I) + 1