theorem Th49: :: NUMBER18:4

for n being non zero Nat
for p being Prime st p |-count n <> 0 holds
(Bnumber_of_divisors n) . p = (p |-count n) + 1