A1: ( 3 in 5 & 4 in 5 ) by Lm2;
A2: ( 1 in 5 & 2 in 5 ) by Lm2;
( 0 in 1 & 0 in 5 ) by Lm1, Lm2;
hence ( [0,0] is NonTerminal of SCM-AE & [0,1] is NonTerminal of SCM-AE & [0,2] is NonTerminal of SCM-AE & [0,3] is NonTerminal of SCM-AE & [0,4] is NonTerminal of SCM-AE ) by A2, A1, Lm3, ZFMISC_1:87; :: thesis: verum