theorem :: POLNOT_2:16

for T being Polish-language
for V being full Polish-language of T
for U being b₁ -extending Polish-language holds
not for W being full Polish-language of U holds W is (b₂)