The existence and commutation relations of such a function are demonstrated by considering pair propagations through a vertex, and periodicity relations of the theta functions, in a similar way to the six-vertex model.