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