Cek pernyataan satu: z kurang dari x. Jika z berada di sebelah kiri x, dan kita tahu x di sebelah kiri y, maka secara otomatis z juga kurang dari y. Ini membuat z dikurang y bernilai negatif. Karena negatif ditambah negatif adalah negatif, maka pernyataan satu saja cukup.