모든 양의 정수 $n$에 대해서 $k \cdot 2^n + 1$ 이 항상 합성수가 되는 양의 정수 $k$가 존재함을 보여라.