Với mỗi số nguyên dương, kí hiệu $u_{n} = {5.2}^{3 n - 2} + 3^{3 n - 1}$

Một học sinh chứng minh u_n luôn chia hết cho 19 như sau:

Bước 1: Khi n=1 ta có $u_{1} = {5.2}^{1} + 3^{2} = 19 \Rightarrow u_{1} ⋮ 19$

Bước 2: Giả sử $u_{k} = {5.2}^{3 k - 2} + 3^{3 k + 1}$ chia hết cho 19 với $k \geq 1$

Khi đó ta có $u_{k + 1} = {5.2}^{3 k + 1} + 3^{3 k + 2} = 8 ({5.2}^{3 k - 2} + 3^{3 k - 1}) + {19.3}^{3 k - 1}$

Bước 3: Vì ${5.2}^{3 k - 2} + 3^{3 k - 1} và {19.3}^{3 k - 1}$ chia hết cho 19 nên $u_{k + 1}$ chia hết cho 19,

Vậy u_n chia hết cho 19, $\forall n \in ℕ^{*}$

Lập luận trên đúng hay sai? Nếu sai thì bắt đầu từ bước nào?