theorem Th44: :: NAT_3:44

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