Suppose I need to prove the following: If x $!=0$ and y $!=0$ then xy $!=0,$ for some x$,$y in straight real numbers. Instead, I decide to prove if xy$=0,$ then x$=0$ or y$=0.$