Esta fórmula se le atribuye al matemático francés Édouard Lucas, y es fácilmente demostrable por inducción matemática.