if the product of two whole numbers is zero, then one of the factors is zero. To what axiom does this refer?

Question

I am unsure of the answer dealing wth axiom but im thinking it would possibly be the non zero divisor?? I don't know if im right