Shouldn't one use somewhere that \(U \neq \{0\},\ V\). I think this is given for a reason.
Beni (talk) 09:29, 28 July 2015 (CEST)
