[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.