for a, b being Nat st a in support (pfexp b) holds
a divides b