theorem Th81: :: ALGNUM_1:50

for K being Field
for f, g being Element of (Polynom-Ring K) st f <> 0. (Polynom-Ring K) & {f} -Ideal is prime & not g in {f} -Ideal holds
{f} -Ideal ,{g} -Ideal are_co-prime