Here is an extract from a proof:

Can someone explain why the 'formula above shows that f is nonsingular'?