theorem Th4: :: SCMFSA_I:4

for x being set
for b, c being Element of SCM-Data-Loc
for f being Element of SCM+FSA-Data*-Loc st x in {9,10} holds
[x,{},<*c,f,b*>] in SCM+FSA-Instr