Udowodnimy, że jeżeli jest liczbą podzielną przez to nie można zapisać w postaci sumy dwóch elementów zbioru albo - w myśl tezy poprzedniego zadania - w postaci iloczynu dwóch elementów zbioru Przypuśćmy, że

gdzie Skoro to co najmniej jeden z czynników w liczniku powyższego ułamka jest podzielny przez ; bez straty ogólności załóżmy, że Stąd wynika, że liczby i są tej samej parzystości, skąd wobec - obie są nieparzyste. Jednak wówczas daje resztę przy dzieleniu przez - sprzeczność.

Aby wskazać nieskończenie wiele liczb naturalnych będących iloczynami dwóch elementów zbioru rozważymy ciąg Fibonacciego

i wykorzystamy tożsamość

Dla mamy więc

co jest liczbą całkowitą dla każdego To kończy dowód, gdyż dla różnych otrzymujemy różne liczby.