'Integer**Integer     -> !Prime'

@staticmethod
def Pow(expr, assumptions):

    if expr.is_number:
        return AskPrimeHandler._number(expr, assumptions)
    if (ask(Q.integer(expr.exp), assumptions) and ask(Q.integer(expr.base), assumptions)):
        return False
