trees: W_2 5, W_3 16, W_4 45
m=2: tree sum = (x0x1)^2 + (x0y1+y0x1)^2: True
m=3: tree sum = |Lambda_3|^2: True
m=4: tree sum = |Lambda_4|^2: True
Re Lambda_3 = f1 and Im Lambda_3 = f2 of Stoimenow (12): True, True
Thm 1.3, Q = a^2+ab+b^2: Lambda_4 = Q + 2iQ: True
Thm 1.3, Q = 3Y^2-X^2: Lambda_4 = Q + 2iQ: True
Thm 1.3 proof display for z0=z2=1+i: True
Thm 1.4: Lambda_3 = d(A+iB): True
Thm 1.4: tree sum = d^2(A^2+B^2): True
Thm 1.3 via tree sums: 5Q^2 for both families: True, True
Lemma 4.1: pr(Z_s) = (s**2, s**2), pr(Z') = (27, 27)
