Cho định lí "Cho số tự nhiên n, nếu n^5 chia hết cho 5 thì n chia hết cho 5". Định lí này được viết dưới dạng P->Q. Hãy phát biểu định lí đảo của định lí trên rồi dùng các thuật ngữ "điều kiện cần và đủ" phát biểu gộp cả 2 định lí thuận và đảo