A->B B+A^
A0,An->An+1 (An^+An+1)*A0