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