Kazachstan had f-vgl'en

$f,g \mathbb{N} \to \mathbb{N} f(g(n))=f(n)+1,g(f(n))=g(n)+1,n \in \mathbb{N}$
TB: $f(n)=g(n) \forall n \in \mathbb{N}$