theorem :: NTALGO_2:14

for n, m being Element of NAT st 0 < n holds
ALGO_BPOW (0,n,m) = 0