Fungsi tersebut bijektif. Secara khusus, \(f(2k)=k\) dan \(f(2k-1)=1-k\) untuk \(k\geq1\text{.}\)