added fermatfact