f_1 \neq 0_V