Croatian Mathematical Olympiad 2024 Problem 1-4

Neka su $k$ i $n$ prirodni brojevi takvi da vrijedi $k \leq 2n$. Dokaži da je

$$2^{2n+2} + 2^{k+2} + 1$$

kvadrat prirodnog broja ako i samo ako vrijedi $k = n$.