Comment by red_trumpet

The fact that f(L^2) is positive can be seen without inspecting coordinates: after all it is the length of e_i', hence positive.