Update factorial negative and zero number proof