ta có:
tích của 13 số chỉ có các ước nguyên tố không vượt quá 3
=>ước số đó là 2 và 3
mà trong 13 số nguyên dương đó tích lại sẽ lớn hơn 2.3=6
số cặp có thể hình thành ít nhất là 3 cặp
13>12=4.3
=> tồn tại 4 số phân biệt có tích là lũy thừa của số 2 (là 1 số nguyên dương)