theorem :: COMPOS_1:4

for S being COM-Struct holds card (Stop S) = 1 by AFINSQ_1:34;