On differentiability of Peano type functions (Q5896207)

The author considers functions F: \({\mathbb{R}}\to {\mathbb{R}}^ 2\), \(F(x)=(f_ 1(x),f_ 2(x))\), such that, for every \(x\in {\mathbb{R}}\), either f'\({}_ 1(x)\) or f'\({}_ 2(x)\) exists and is finite. He states that if \(f_ 1\) is Lebesgue measurable then the inner Lebesgue measure of \(f({\mathbb{R}})\) is 0; the existence of a surjective F is equivalent to the Continuum Hypothesis. No proofs are given.