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,4] is NonTerminal of SCM-AE by A2, A1, Lm3, ZFMISC_1:87; :: thesis: verum