=> a + 5 + (-5) < b + 5 + (-5) (양변에 -5를 더함)