Докажем, что $ R \otimes R$ - конечномерно пространство размерности $ n^2,$ где $n$ - размерность $ R.$
Зададим базис $e_1, ..., e_n$ в пространстве $R.$ Пусть $x, y$-произвольные векторы из $R;$ разложим их по векторам базиса:
$$ x = \xi_1 e_1 + ... + \xi_n e_n, y = \eta_1 e_1 + ... + \eta_n e_n.$$
Тогда
$$ x \otimes y = \sum_{i, j=1}^n \xi_i \eta_i (e_i, \otimes e_j).$$
Таким образом, $ x \otimes y$, а значит, и любой другой вектор из $ R \otimes R$ является линейной комбинацией $ n^2$ векторов $ e_i \otimes e_j.$