ако x е произведение на положителните числа от 1 до 8, включително , и ако i , k , m и p са положителни числа такова, че x  2  i * 3  k * 5  m * 7  p , тогава i + k + m + p
като се има предвид, че x  8 !  2  7  3  2  5  7 x . , следователно , x  2  7 + m  2  5  1  1  2  i  3  k  5  m  7 p , тъй като i , k , m  и p са положителни цели числа , след това можем  да
add(add(add(7, 2), divide(5, 5)), divide(3, 3))