L'equazione m^3+127=0 non ha soluzioni mod 13, quindi n<13. Inoltre, n!>127>5!. Questo lascia solo 7 casi per n (6,7,...,12) che possono essere controllate individualmente. Unica soluzione n=7, m=17