theorem :: MATGRP_0:22

for R being Ring
for A being Matrix of R holds (1. R) * A = A ;