theorem :: SCM_COMP:2

[0,0] is NonTerminal of SCM-AE & ... & [0,4] is NonTerminal of SCM-AE