print(`The holonomic function in 1-2 is a potential`):
print(`of the 1-form in 1-1.`):
print(`This follows from the contour sum over`):
print(`(0,0)->(1,0)-> ... ->(n,0)->(n,1)-> ... ->(n,k)`):

print(`and reindexing k <- (k-1) and n <- (n-1).`):