Đối vu chính chỉnh sổ k, chứng minh tồn tại chính chỉnh sổ s, mãn túc:
Nhược chính chỉnh sổ m hòa n dữ s hỗ chất thả m^m=n^n (mod s), tắc m=n (mod k).