4^0==4^(n-n)==prod(4, for i=0 to n)/prod(4, for i=0 to n)