The proof is one line. Suppose A·B = 0 and suppose A ≠ 0. Because A is not zero, you are allowed to divide both sides by it: B = 0 ÷ A = 0. So the moment one factor refuses to be zero, the other one has no choice. That is the entire mechanism — and notice it leans on A ≠ 0, which is exactly why dividing by a variable is dangerous elsewhere.
Why it fails for any other number. Suppose instead that A·B = 12. Now you have learned nothing about A or B by themselves, because 12 can be assembled a thousand ways: 3·4, 2·6, 1·12, (−3)·(−4), 24·½, and on forever. Zero is the one product that cannot be faked. To land on zero, a factor must already be zero. The uniqueness of that recipe is the whole reason the shortcut exists.
| A | B | A·B | verdict |
|---|---|---|---|
| 3 | 4 | 12 | neither factor is 0 |
| −6 | −2 | 12 | neither factor is 0 |
| 1000 | 0.012 | 12 | neither factor is 0 |
| 0 | 7 | 0 | a factor had to be 0 |
| −9 | 0 | 0 | a factor had to be 0 |