Chứng minh biểu thức không phụ thuộc vào biến