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:34
.= 4 + 2 by SCMFSA6A:35
.= 6 ; :: thesis: verum