for p being Prime
for R being b₁ -characteristic Ring
for n being positive Nat holds
( n is Element of CharSet R iff p divides n )