let k1, k2, k3, k4, k5 be Instruction of SCM+FSA; :: thesis: card ((((k1 ";" k2) ";" k3) ";" k4) ";" k5) = 10
thus card ((((k1 ";" k2) ";" k3) ";" k4) ";" k5) = (card (((k1 ";" k2) ";" k3) ";" k4)) + 2 by SCMFSA6A:34
.= 8 + 2 by Th20
.= 10 ; :: thesis: verum