theorem Th37: :: NAT_3:37

for a, b being Nat st not b is empty & a is Prime & a divides b holds
a in support (pfexp b)