theorem Th15: :: POLYALGX:15

for b being bag of 1 holds len (divisors b) = (b . 0) + 1