US-TST 2019 Problem 4

We say a function $f: \mathbb{Z}_{\geq 0} \times \mathbb{Z}_{\geq 0} \rightarrow \mathbb{Z}$ is great if for any nonnegative integers $m$ and $n$, $$f(m+1, n+1) f(m, n)-f(m+1, n) f(m, n+1)=1$$ If $A=\left(a_{0}, a_{1}, \ldots\right)$ and $B=\left(b_{0}, b_{1}, \ldots\right)$ are two sequences of integers, we write $A \sim B$ if there exists a great function $f$ satisfying $f(n, 0)=a_{n}$ and $f(0, n)=b_{n}$ for every nonnegative integer $n$ (in particular, $a_{0}=b_{0}$ ). Prove that if $A, B, C$, and $D$ are four sequences of integers satisfying $A \sim B$, $B \sim C$, and $C \sim D$, then $D \sim A$.