Contraposition

x,y > 0, k in (0,1)

x < ky then x < y

⇔ 

x,y > 0, x ≧ y then x ≧ ky

True!

If x,y < 0, then False.