theorem :: NUMBER18:8

for n being Nat st n = 0 holds
#divs n = 0 by NAT_5:def 2;