MathNet 2003 — Phần 02 Câu hỏi 67

Cho $a, b, c, d \geq 1$ là các số dương tùy ý. Chứng minh rằng hệ phương trình $a x - y z = c$, $b x - y t = -d$ có ít nhất một nghiệm $(x, y, z, t)$ là số nguyên dương.