transitive property of inequality proof