>>361
その性質をもつ自明な圧縮の例

圧縮 f (x) とは
　x == 0 のとき 0
　x > 0 のとき x-1

何度か繰り返せば、どんな数も 0 に圧縮できる。