for n being non zero Nat st support (pfexp n) = {} holds
n = 1