theorem Th15: :: SCMBSORT:23

for i1, i2, i3 being Instruction of SCM+FSA holds card ((i1 ";" i2) ";" i3) = 6