Verification: if a ^ 3 + AB ^ 2 + 4A + B ^ 3 + A ^ 2B + 2b-3a ^ 2-B ^ 2-2ab-2 is not equal to 0, then a + B is not equal to 1

Verification: if a ^ 3 + AB ^ 2 + 4A + B ^ 3 + A ^ 2B + 2b-3a ^ 2-B ^ 2-2ab-2 is not equal to 0, then a + B is not equal to 1

To the contrary
If a + B = 1, then B = 1-A
Then a ^ 3 + AB ^ 2 + 4A + B ^ 3 + A ^ 2B + 2b-3a ^ 2-B ^ 2-2ab-2 = a ^ 3 + a (1-A) ^ 2 + 4A + (1-A) ^ 3 + A ^ 2 (1-A) + 2 (1-A) - 3A ^ 2 - (1-A) ^ 2-2a (1-A) - 2 = 0, which is in contradiction with the original condition
So a + B is not equal to 1