Hãy phát biểu quy tắc chuyển vế để biến đổi bất phương trình. Quy tắc này dựa trên tính chất nào của thứ tự trên tập số?