theorem Th5: :: SCMFSA_I:5

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