theorem Th38: :: E_TRANS2:35

for p being prime odd Nat
for m being positive Nat
for g being non zero Polynomial of INT.Ring holds Sum (delta_1 (m,p,g)) in {(In ((p !),INT.Ring))} -Ideal