conjecture on zero vectors