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