Hãy phát biểu quy tắc nhân để 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ố?