for a, b being non zero Nat st a,b are_coprime holds
support (pfexp a) misses support (pfexp b)