RT

（即 $\forall\ i,j \in [1,n] \cap \R,\ A_{ij} = [i = j]$）

应为

（即 $\forall\ i,j \in [1,n] \cap \Z,\ A_{ij} = [i = j]$）