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)) + (card (Macro k5)) by SCMFSA6A:61
.= (card (((k1 ';' k2) ';' k3) ';' k4)) + 2 by SCMFSA7B:6
.= 8 + 2 by Th40
.= 10 ; :: thesis: verum