Der Satz vom Nullprodukt hat nicht nur eine Richtung.
Ihr benutzt nur "Wenn ein Faktor 0 ist, dann ist das Produkt 0".
Genauso wichtig (und die Garantie dafür, dass man dann alle Nullstellen hat) ist die Umkehrung "Ein Produkt kann nur dann 0 werden, wenn einer der Faktoren 0 ist".
Das hat übrigens überhaupt nichts mit komplexen Zahlen zu tun sondern gilt in allen Körpern, weil die nämlich nullteilerfrei zu sein pflegen.