theorem Th2: :: NEWTON01:2

for a1 being Complex holds (((2 * a1) + 1) |^ 2) + (((2 * (a1 |^ 2)) + (2 * a1)) |^ 2) = (((2 * (a1 |^ 2)) + (2 * a1)) + 1) |^ 2