theorem :: SCMFSA6A:35

for i, j being Instruction of SCM+FSA holds card (i ";" j) = 4