for P being consistent PNPair holds not TFALSUM in rng (P `1)