m=2 identity: True
m=3 identity: True
m=4 identity: True
W4 at all ones: 45
Thm3 family 1 Lambda4 = (1 + 2*I)*(a**2 + a*b + b**2)
Thm3 family 2 Lambda4 = (1 + 2*I)*(2*X**2 + 2*X*Y - Y**2)
Thm4 Lambda3 = d*(A + I*B)
