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