The holonomic function in 1-2 is a potential

                              of the 1-form in 1-1.

                     This follows from the contour sum over

                (0,0)->(1,0)-> ... ->(n,0)->(n,1)-> ... ->(n,k)

                   and reindexing k <- (k-1) and n <- (n-1).