Khẳng định kqxsmt chính xác