,j=1,\ldots,l$, the vectors $\tilde{x_1},\ldots,\tilde{x_k},\tilde{y_1},\ldots,\tilde{y_l},\tilde{u_1},\ldots,\tilde{u_l}\in {{\mathbf R}}^{N+1}$ are linearly independent.]{}

[**Proof of Proposition \[tensor\].**]{}First note that a tangent vector to $f(x,y)$ is of the form $(u\otimes y+x\otimes v,u \otimes 1, 1 \otimes v)$ where $u\in T_x M$ and $v\in T_y N$. Fix arbitrary distinct points $(x_i,y_i)\in M\times N, i =1,\ldots,k+l$ and arbitrary non-zero vectors $(u_j,v_j)\in T_{(x_j,y_j)}M\times N, j=k+1,\ldots,k+l.$ Because of remark \[operative\], it suffices to show, after the identification $$(U \otimes V)\oplus(U\otimes{{\mathbf R}})\oplus(V\otimes {{\mathbf R}})\oplus {{\mathbf R}}\cong (U\oplus {{\mathbf R}})\otimes (V \oplus {{\mathbf R}})$$ that the vectors in the set $$\mathcal  S=\{\tilde{x_i}\otimes \tilde{y_i}| i=1,\ldots,k+l\} \cup \{\tilde u_j \otimes \tilde y_j + \tilde x_j \otimes \tilde v_j| j=k+1,\ldots,k+l\}$$ are linearly independent.

Since $M$ is $(k,l)$-regular, we know that the vectors in $\mathcal M=\{\tilde {x_i}, \tilde{u_j}|u_j\neq0\}$ are linearly independent and similarly for $\mathcal N=\{\tilde {y_i}, \tilde {v_j}|v_j\neq0\}.$ But now we observe that every nontrivial linear combination of vectors in $\mathcal S$ would also be a nontrivial linear combination of vectors in $$\{e\otimes f| e\in \mathcal M,f \in \mathcal N\},$$ and that is not possible. [$\Box$]{}

[**Proof of Theorem \[main\].**]{} First we prove the lower bound.We will make use of the following theorem, affine
, j=1,\ldots, l$, the vectors $ \tilde{x_1},\ldots,\tilde{x_k},\tilde{y_1},\ldots,\tilde{y_l},\tilde{u_1},\ldots,\tilde{u_l}\in { { \mathbf R}}^{N+1}$ are linearly independent. ] { } 

 [ * * Proof of Proposition \[tensor\].**]{}First note that a tangent vector to $ f(x, y)$ is of the human body $ (u\otimes y+x\otimes five, u \otimes 1, 1 \otimes v)$ where $ u\in T_x M$ and $ v\in T_y N$. Fix arbitrary distinct points $ (x_i, y_i)\in M\times N, i = 1,\ldots, k+l$ and arbitrary non - zero vector $ (u_j, v_j)\in T_{(x_j, y_j)}M\times N, j = k+1,\ldots, k+l.$ Because of remark \[operative\ ], it suffices to express, after the recognition $ $ (U \otimes V)\oplus(U\otimes{{\mathbf R}})\oplus(V\otimes { { \mathbf R}})\oplus { { \mathbf R}}\cong (U\oplus { { \mathbf R}})\otimes (V \oplus { { \mathbf R}})$$ that the vectors in the fit $ $ \mathcal   S=\{\tilde{x_i}\otimes \tilde{y_i}| i=1,\ldots, k+l\ } \cup \{\tilde u_j \otimes \tilde y_j + \tilde x_j \otimes \tilde v_j| j = k+1,\ldots, k+l\}$$ are linearly independent. 

 Since $ M$ is $ (k, l)$-regular, we sleep together that the vectors in $ \mathcal M=\{\tilde { x_i }, \tilde{u_j}|u_j\neq0\}$ are linearly independent and similarly for $ \mathcal N=\{\tilde { y_i }, \tilde { v_j}|v_j\neq0\}.$ But immediately we respect that every nontrivial linear combination of vectors in $ \mathcal S$ would besides be a nontrivial linear combination of vectors in $ $ \{e\otimes f| e\in \mathcal M, f \in \mathcal N\},$$ and that is not potential. [ $ \Box$ ] { } 

 [ * * validation of Theorem \[main\ ]. * * ] { } First we prove the lower bound. We will make manipulation of the following theorem, affine
,j=1,\ldlts,l$, the vectors $\tilde{x_1},\laots,\tilde{x_k},\tildg{y_1},\odots,\tmlde{y_l},\tjlde{u_1},\ldogs,\tilde{u_l}\in {{\mathbf R}}^{N+1}$ are liiearoy ineependent.]{}

[**Proof of Propusition \[tvnsor\].**]{}Firsr noue that a tangent vector bj $f(x,g)$ is mh the form $(u\otikes y+x\otimas v,u \otimes 1, 1 \ogiles v)$ where $u\in T_x M$ and $v\in T_y N$. Fyx arbiyrwry distinct pjintx $(x_i,y_j)\pn M\times N, i =1,\ldots,k+l$ and arbitdary noi-zero vectors $(u_k,v_j)\in T_{(x_j,y_j)}M\times N, j=k+1,\ldotd,k+l.$ Hecause of remark \[lperative\], ij susdices to shod, after tht ndentificatjon $$(U \otimes V)\oplus(U\otimes{{\mathbw R}})\opkus(V\otimes {{\mqthhx R}})\oplus {{\mavhbf R}}\bong (U\oplus {{\mathbf R}})\odimes (V \oplus {{\mathbf V}})$$ thav thw vectors in the set $$\kathcal  S=\{\tilde{x_i}\ojimes \tilda{y_n}| i=1,\ldots,k+l\} \cup \{\tilde y_j \otimgs \tinde h_h + \gilse x_n \otimfs \vilde v_j| j=k+1,\mdots,k+l\}$$ are linearly independemt.

Fpmce $M$ is $(k,l)$-rsgular, wq know that the vectors in $\mathcal M=\{\tilge {s_i}, \tilde{u_j}|u_j\neq0\}$ are linwarly independent and similarlr for $\mathcal N=\{\tilde {y_i}, \tilde {v_j}|v_j\neq0\}.$ But now we mbserte thcb dcegy nontrivial linear combination of vectors ig $\mstmcal S$ would alsj be a nonttigisj linear combknatiou or vectors in $$\{e\otimfs f| e\ig \matycal M,f \ig \mayhcal N\},$$ and that is not poswible. [$\Box$]{}

[**Projd of Theorem \[main\].**]{} Yirst we prore the lowet bound.We will make use of fhe followijg theorej, affine
,j=1,\ldots,l$, the vectors $\tilde{x_1},\ldots,\tilde{x_k},\tilde{y_1},\ldots,\tilde{y_l},\tilde{u_1},\ldots,\tilde{u_l}\in {{\mathbf R}}^{N+1}$ are [**Proof Proposition \[tensor\].**]{}First that a tangent the $(u\otimes y+x\otimes v,u 1, 1 \otimes where $u\in T_x M$ and $v\in N$. Fix arbitrary distinct points $(x_i,y_i)\in M\times N, i =1,\ldots,k+l$ and arbitrary non-zero $(u_j,v_j)\in T_{(x_j,y_j)}M\times N, j=k+1,\ldots,k+l.$ Because of remark \[operative\], it suffices to show, after identification \otimes R}})\oplus(V\otimes R}})\oplus {{\mathbf R}}\cong (U\oplus {{\mathbf R}})\otimes (V \oplus {{\mathbf R}})$$ that the vectors in the set S=\{\tilde{x_i}\otimes \tilde{y_i}| i=1,\ldots,k+l\} \cup \{\tilde u_j \otimes \tilde + \tilde x_j \otimes v_j| j=k+1,\ldots,k+l\}$$ are linearly independent. $M$ $(k,l)$-regular, we that vectors $\mathcal M=\{\tilde {x_i}, are linearly independent and similarly for $\mathcal N=\{\tilde {y_i}, \tilde {v_j}|v_j\neq0\}.$ But now we observe that every linear combination in $\mathcal would be nontrivial linear combination in $$\{e\otimes f| e\in \mathcal M,f and that is not possible. [$\Box$]{} [**Proof of \[main\].**]{} First prove the lower bound.We will make of the following theorem, affine
,j=1,\ldots,l$, the vectors $\tilde{x_1},\ldOts,\tilde{x_k},\Tilde{Y_1},\ldOts,\TiLde{y_L},\tilDe{u_1},\ldots,\tilde{u_L}\In {{\maThbf R}}^{N+1}$ are linearly indepEndenT.]{}

[**PROof oF prOposiTion \[tenSOr\].**]{}fIRst NoTe ThaT a TAnGent vEctOr to $f(x,y)$ Is of the forM $(u\oTiMes y+x\otimes v,U \OtImes 1, 1 \otimes V)$ whEre $u\in T_x M$ and $V\in t_y N$. Fix ArBitRAry diStiNct poInts $(x_i,Y_I)\in M\tiMes N, i =1,\ldotS,k+L$ And arbITrary noN-ZErO vecTors $(u_j,v_j)\in T_{(x_j,y_j)}M\tIMeS n, j=k+1,\ldots,k+l.$ BecaUse of rEmARk \[OPEraTivE\], it sufficeS tO show, AFter the IDeNTIFicATion $$(U \otimes V)\oPlus(U\otimes{{\MAthBf R}})\oplUs(v\otIMes {{\matHbf R}})\oPlUS {{\maThbf R}}\cong (U\oPlus {{\Mathbf R}})\otImes (V \oPLus {{\mathBF R}})$$ that tHe vectOrs In tHe seT $$\MaThCal  s=\{\tILde{X_I}\oTimES \tiLde{y_i}| i=1,\ldOtS,k+L\} \cup \{\tIlde U_J \OTImes \TilDe y_j + \Tilde X_j \otimes \tilde V_j| j=K+1,\ldoTS,k+l\}$$ Are liNearlY indEpEndenT.

Since $m$ is $(k,l)$-ReGular, we know that The vEctors in $\mAthCaL M=\{\tIlDe {x_i}, \tILde{u_j}|u_J\neQ0\}$ arE linearLy indepENdeNt AND SiMilarly for $\mathcal N=\{\TiLDE {y_I}, \tilde {v_j}|V_j\neq0\}.$ BUT nOw WE observe ThAt eVery NONtrivIal lINeAr combinAtion oF VeCtOrs in $\maThCal S$ woUlD alSo bE a nonTRiviAl lineAr combinAtion OF vectors in $$\{e\otiMEs f| e\in \mathcal m,F \iN \MAtHCal N\},$$ And That is not poSsibLE. [$\Box$]{}

[**prooF Of theORem \[maIn\].**]{} FirSt WE pROve the lower bound.We wIlL make uSe of tHe following thEorem, affinE
,j=1,\ldots,l$, the vector s $\tilde{ x_1}, \ld ots ,\ tild e{x_ k},\tilde{y_1} , \ldo ts,\tilde{y_l},\tilde{ u_1}, \l d ots, \ ti lde{u _l}\in{ {\ m a thb fR} }^{ N+ 1 }$  arelin early i ndependent .]{ }
[**Proof of Pr oposition\[t ensor\].**]{ }Fi rst no te  th a t a t ang ent v ectort o $f(x ,y)$ is o ft he for m  $(u\ot i m es  y+x \otimes v,u \otim e s1 , 1 \otimes v) $ wher e$ u\ i n  T_ x M $ and $v\i nT_y N $ . Fix a r bi t r a ryd istinct point s $(x_i,y_i ) \in  M\tim es  N, i =1,\ ldots ,k + l$and arbitra ry n on-zero v ectors $(u_j,v _ j)\in T _{(x_j ,y_ j)} M\ti m es  N , j =k + 1,\ l do ts, k +l. $ Becaus eof  rema rk \ [ o p e rati ve\ ], i t suf fices to show , a fter the  iden tific atio n$$(U\otime s V)\ op lus(U\otimes{{\ math bf R}})\o plu s( V\o ti mes { { \mathb f R }}) \oplus{{\math b f R }} \ c o ng  (U\oplus {{\mathb fR } }) \otimes(V \op l us  { { \mathbfR} })$ $ th a t  thevect o rs  in theset $$ \ ma th cal  S= \{ \tilde {x _i} \ot imes\ tild e{y_i} | i=1,\l dots, k +l\} \cup \{\t i lde u_j \otim e s\ t il d e y_ j +  \tilde x_j  \ot i mes\til d ev_j |  j=k+ 1,\ld ot s ,k + l\}$$ are linearlyin depend ent.
Since $M$ is  $(k,l)$-r e g u lar, weknow th a t the vectorsin $\ mathcal M= \ {\tilde{x_i} , \tilde {u_j}|u_j \ n eq0\}$ a relin ear lyi n de pendent and s i m ilar ly  for $\ mat hcal N= \{\ til de{y_ i} , \tilde{v_j}|v_ j\ ne q0 \} .$But n o w we obs er veth atevery nontri vialline ar  c o mbi nationo fv e ctor sin  $\m ath ca l S$woul d  al so be a  nontrivi all inea rco mbinati on of vectors  i n $$\{e\ot im esf| e\i n \mathcal  M,f \in \mathcal N\},$ $  and th atis no t po ssible. [ $\B ox$]{} 

[ * *Proof  of Th eorem  \ [ma i n \].** ] { }Fir st  we provet h e l owerbo und. We will  make use of the f o llo wing theorem,  af fine 
,j=1,\ldots,l$, the_vectors $\tilde{x_1},\ldots,\tilde{x_k},\tilde{y_1},\ldots,\tilde{y_l},\tilde{u_1},\ldots,\tilde{u_l}\in_{{\mathbf R}}^{N+1}$ are linearly_independent.]{}

[**Proof of_Proposition_\[tensor\].**]{}First note_that_a tangent vector_to $f(x,y)$ is_of the form $(u\otimes_y+x\otimes v,u \otimes_1,_1 \otimes v)$ where $u\in T_x M$ and $v\in T_y N$. Fix arbitrary distinct_points_$(x_i,y_i)\in M\times_N,_i_=1,\ldots,k+l$ and arbitrary non-zero vectors_$(u_j,v_j)\in T_{(x_j,y_j)}M\times N, j=k+1,\ldots,k+l.$ Because_of remark_\[operative\], it suffices to show, after the identification_$$(U_\otimes V)\oplus(U\otimes{{\mathbf R}})\oplus(V\otimes_{{\mathbf R}})\oplus {{\mathbf R}}\cong (U\oplus {{\mathbf R}})\otimes (V \oplus_{{\mathbf R}})$$ that the vectors in_the set $$\mathcal__S=\{\tilde{x_i}\otimes_\tilde{y_i}| i=1,\ldots,k+l\} \cup \{\tilde_u_j \otimes \tilde y_j + \tilde_x_j \otimes \tilde v_j| j=k+1,\ldots,k+l\}$$ are_linearly independent.

Since $M$ is $(k,l)$-regular, we know_that the vectors in $\mathcal M=\{\tilde_{x_i}, \tilde{u_j}|u_j\neq0\}$ are linearly independent_and similarly_for $\mathcal N=\{\tilde {y_i}, \tilde_{v_j}|v_j\neq0\}.$ But now_we observe_that every nontrivial_linear combination of vectors in $\mathcal_S$ would also_be a nontrivial linear combination of_vectors_in $$\{e\otimes f|_e\in_\mathcal_M,f \in_\mathcal N\},$$ and_that_is not_possible._[$\Box$]{}

[**Proof of Theorem \[main\].**]{} First we_prove_the lower bound.We will make use of_the following theorem, affine