Последовательность `x_n` определяется правилами: `x_1 = 2` и `nx_n = 2(2n - 1)x_{n-1}`, `n = 2, 3, .. .` Докажите, что `x_n` является целым для всех натуральных `n`.