1.
If A+BA+B and ABAB are both defined, then