let i1, i2, i3 be Instruction of SCM+FSA; :: thesis: card ((i1 ';' i2) ';' i3) = 6
thus card ((i1 ';' i2) ';' i3) = (card (i1 ';' i2)) + 2 by SCMFSA6A:76
.= 4 + 2 by SCMFSA6A:77
.= 6 ; :: thesis: verum