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; :: according to AMISTD_4:def 1 :: thesis: verum