theorem :: NUMBER08:84

(((1 + 3) + (3 |^ 2)) + (3 |^ 3)) + (3 |^ 4) = 11 |^ 2 by Lm8, Lm9, Lm10, Lm11;