Wskażemy bijekcję między zbiorami rozwiązań przedstawionych w zadaniu nierówności. Załóżmy, że liczby całkowite spełniają Możemy na dwa sposoby wskazać takie, że Każdy ciąg liczb spełniający tę równość (oraz ) możemy podzielić na bloki, czyli fragmenty postaci gdzie Jeśli długość takiego bloku to to przyporządkujemy mu blok długości gdzie oraz jest tego samego znaku, co Wykonując tę operację na wszystkich blokach, dostaniemy ciąg gdzie i co daje nam ciąg liczb całkowitych spełniający Nietrudno przekonać się, że przedstawione przekształcenie jest wzajemnie jednoznaczne, co kończy rozwiązanie.