if m<1=m<2 then m<2=m<1
what property justifies