reconsider I = i as Element of SCM+FSA-Data-Loc by Def4;
[13,{},<*I*>] in SCM+FSA-Instr by SCMFSA_1:36;
hence [13,{},<*i*>] is Instruction of SCM+FSA ; :: thesis: verum