On a result of S. Kurepa (Q1098957)

One of the two main theorems (the other supposes a weaker form of the continuum hypothesis), for which proofs are offered here, states that there exist subsets A,B of \({\mathbb{R}}^ n,\) of measure 0, such that \(f(A,B)=f_ 1(A,B)\times...\times f_ n(A,B)\) is nonmeasurable if \(f_ j: {\mathbb{R}}^{2n}\to {\mathbb{R}}\quad (j=1,2,...,n)\) have continuous derivatives in all variables in a neighbourhood of a point \(p\in {\mathbb{R}}^{2n}\) and \[ \det [\frac{\partial f_ j}{\partial x_ k}(p)]_{j=1,...,n,k=1,...,n}=0,\quad \det [\frac{\partial \quad f_ j}{\partial x_{\ell}}(p)]_{j=1,...,n,\ell =n+1,...,2n}=0. \] This generalizes a result of \textit{S. Kurepa} [Glas. Mat.-Fiz. Astron., II. Ser. 11, 89-94 (1956; Zbl 0072.053)], where \(f_ j(x,y)=x+y.\)