theorem Th21:
  for k1,k2,k3,k4,k5 being Instruction of SCM+FSA holds card( k1
  ";" k2 ";" k3 ";" k4 ";"k5) =10
proof
  let k1,k2,k3,k4,k5 be Instruction of SCM+FSA;
  thus card( k1 ";" k2 ";" k3 ";" k4 ";"k5)
     = card (k1 ";" k2 ";" k3 ";" k4)+ 2 by SCMFSA6A:34
    .= 8+ 2 by Th20
    .= 10;
end;
