theorem Th79: :: MATGRP_0:67

for R being Ring holds Matrix_ring (1,R),R are_isomorphic