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