a{ident n
a{(n,n)R1,nR0
