các chứng minh tính hợp lệ trông tốt ở đây