thuần túy có thể chứng minh được tính