Это используется при доказательстве того,что все слагаемые делятся на p. Если бы оно было составное,могло случиться так, что знаменатель одной из дробей не был бы взаимно прост с p, и тогда одно из слагаемых не поделилось бы на p.