theorem Th15:
  for i1,i2,i3 be Instruction of SCM+FSA holds card (i1 ";" i2 ";" i3)=6
proof
  let i1,i2,i3 be Instruction of SCM+FSA;
  thus card (i1 ";" i2 ";" i3) = card (i1 ";" i2) + 2 by SCMFSA6A:34
    .= 4 +2 by SCMFSA6A:35
    .= 6;
end;
