support (pfexp 1) = {} ;
hence support (ppf 1) = {} by NAT_3:def 9; :: thesis: verum