theorem Th52: :: NAT_3:52

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