Đặt B=1986^2004-1; C=1000^2004-1
Giả sử B chia hết cho C với một số nguyên dương N nào đó
=>B-C=1986^2004-1000^2004=2^2004(993^2004-500^2004)
chia hết cho C
Vì C là số lẻ nên (2;C)=1
=>993^2004-500^2004 chia hết cho C
mà 0<993^2004-500^2004<C
=>B chia hết cho C là vô lý
=>B/C ko thể là số nguyên