مبرهنة لاغرانج في نظرية الأعداد تنصّ على أن لكل كثيرة حدود صحيحة f(x) معرفة على Z/p حيث p عدد أولي ولا تُساوي كثيرة حدود صفرية mod p، إذا كانت deg f = n فمعادلة f(x)≡٠ (mod p) لها على الأكثر n جذور في Z/p، لأن تقليل المعاملات mod p يعطي كثيرة حدود g(x) بدرجة ≤n وجذورها في Z/p تقابل جذور f عند أخذ القيم mod p.