IMO 1995 — Danh sách bài toán đề cử Câu hỏi 15

N1 (ROM). Cho số nguyên dương $k$. Chứng minh rằng có vô số số chính phương dạng $n2^k-7$, trong đó $n$ là số nguyên dương.