Mình nghĩ là bài 6 có vấn đề rồi, vì theo cách của bạn superpower thì phương trình $(4x-1)(4y-1)=4z^2+1$ sẽ không có nghiệm nguyên.
Vì $x$, $y$ nguyên dương nên $(4x-1)(4y-1)$ mới phân tích ra các thừa số nguyên tố một cách bình thường được để tồn tại một ước có dạng $4k+3$. Nếu $(4x-1)(4y-1)$ nguyên âm thì nó phân tích ra các thừa số nguyên tố nhưng phải thêm vào dấu trừ, khi đó $-(4k+3)=-4k-3=-4k-4+1=4(-k-1)+4=4t+1$ chia $4$ dư $1$ rồi!