for n, k being Nat st n is prime holds
n divides (((Newton_Coeff n) | n) /^ 1) . k