On the existence of FIR zero-forcing equalizers for nonredundantly-precoded transmissions through FIR channels