Kiểm tra Miller-Rabin