وبما أن p عدد أولي ، وكذلك وأيضًا pCk عدد صحيح ، إذن لا يوجد أي من الحدود في المقام يقسم p وبالتالي p | pCk