k^2+3k+2=(k+1)(k+2)
так как множители k+1>1 и k+2>1 для любого k ∈ N, то данное число составное. Доказано
