m=2: tau(W_m networks) - |Lambda_m|^2 = 0 ; #terms tau = 4
m=3: tau(W_m networks) - |Lambda_m|^2 = 0 ; #terms tau = 11
Thm4: Lambda3 - d(A+iB) = 0 ; tau - d^2(A^2+B^2) = 0
m=4: tau(W_m networks) - |Lambda_m|^2 = 0 ; #terms tau = 27
Thm3 (I): Lambda4 = (1 + 2*I)*(a**2 + a*b + b**2) ; / (1+2i) - (a^2+ab+b^2) = 0
Thm3 (I): tau - 5(a^2+ab+b^2)^2 = 0
Thm3 (II): Lambda4 = (-1 - 2*I)*(Xs**2 - 3*Y**2) ; tau - 5(3Y^2-X^2)^2 = 0
m=3 scaling N0 by k: tau(k) / tau = kk**2
m=3 scaling N1 by k: tau(k) / tau = kk**2
m=3 scaling N2 by k: tau(k) / tau = kk**2
m=4 scaling N0 by k: tau(k) / tau = kk**2
m=4 scaling N1 by k: tau(k) / tau = kk**2
m=4 scaling N2 by k: tau(k) / tau = kk**2
m=4 scaling N3 by k: tau(k) / tau = kk**2
