for p being Prime
for R being b₁ -characteristic Ring
for i being Integer holds i '*' (1. R) = (i mod p) '*' (1. R)