for P being PNPair holds rng P c= union (Subt (rng P))