Un 'triángulo numérico' $(t_{n, k}) (0 \le k \le n)$ se define por $t_{n,0} = t_{n,n} = 1 (n \ge 0),$ \[t_{n+1,m} =(2 -\sqrt{3})^mt_{n,m} +(2 +\sqrt{3})^{n-m+1}t_{n,m-1} \quad (1 \le m \le n)\] Pruebe que todos los $t_{n,m}$ son enteros.