zy<xy Is y > 0
1. z<x
zy < xy . Is z<x
1. y >0
for the first one, stm 1 is insufficient to prove y>0, since nothing about y is given, only know Z<X, doesn't assure wether the inequality will be reversed or not. Y still could be negative and reverse the inequality sign
for the second one, stm 1 is sufficient, cuz Y is the key factor in reversing the inequality. if Y>0, that mean with or without why, the inequality won't reverse, therefore, assured Z<X
to prove something, you need to use the premise that's already given, and plug in the other factors later. to see it is yes or no!
to prove something right is very difficult, but to prove something wrong, is very easy, you only need one example!