Lucas's theorem (source code)

= Lucas's theorem
{wiki=Lucas's_theorem}