Hi!
Everything seems all right. In particular, your proof is applicable in the ring R since R\in\mathbb{M}_{2\times 2}. Binet-Cauchy formula states that for any square matrix A,B of the same order, det(AB)=det(A) det(B) = det(BA) Hence, that property of determinants has nothing to do with the...