A1:
[0,{},{}] in SCM+FSA-Instr
by SCMFSA_I:3;
[6,<*0*>,{}] in SCM-Instr
by SCM_INST:2;
then A2:
[6,<*0*>,{}] in SCM+FSA-Instr
by SCMFSA_I:1;
[0,{},{}] <> [6,<*0*>,{}]
by XTUPLE_0:3;
hence
not the InstructionsF of SCM+FSA is trivial
by A1, A2, ZFMISC_1:def 10; AMISTD_4:def 1 verum