Description: A positive integer power is nonzero if and only if its base is nonzero. (Contributed by NM, 6-May-2005)