theorem :: ALGGEO_1:12

for R being domRing
for n being non empty Ordinal
for a being Element of R
for i being Element of n holds degree ((1_1 (i,R)) + (a | (n,R))) = 1