If both a and b are $0(0^0$ case$),$ return True.If b is $0$ and a is not $0,$ return False.If b is $1,$ a must be $1$ to be considered a power of $1,$ otherwise return False.If a is $0$ and b is not $0,$ return False.If a $==$ b$,$ return True.