Từ một số nguyên dương $n$, ta tác động hai phép toán sau đây :
1. Nhân nó với một số nguyên dương tùy ý.
2. Xóa bỏ các chữ số $0$ trong biểu diễn thập phân của nó.
Chứng minh rằng với mọi số nguyên dương $n$, tồn tại hữu hạn phép biến đổi ta có thể đưa $n$ thành số $9$.