for P, Q being PNPair st Q in compn P holds
Q is complete