A: [0,0,0] <> [1,0,0] by MCART_1:25;
the Instructions of (STC N) = {[0,0,0],[1,0,0]} by AMISTD_1:def 7;
then ( [0,0,0] in the Instructions of (STC N) & [1,0,0] in the Instructions of (STC N) ) by TARSKI:def 2;
hence not the Instructions of (STC N) is trivial by A, ZFMISC_1:def 10; :: according to AMISTD_4:def 1 :: thesis: verum