set a = the Point of NTY;
NTX --> the Point of NTY is continuous by Lm3;
hence ex b₁ being Function of NTX,NTY st b₁ is continuous ; :: thesis: verum