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