Em um sistema digital, o número de bits de paridade suficientes para corrigir o número BCD 1001 é igual a