theorem :: MATRIX_3:34

for K being Ring
for a being Element of K holds Det <*<*a*>*> = a