A→B=A^B
A→B+1→C+1=A→(A→B→C)→C=
A→(A→(A→B-1→C-1)→C-1)→C
A→B→C+1→D+1=A→B→(A→B→C→D)→D
关于下标康威链我不会写，请教一下。