factorial is positive also for n=0

Thus, if a variable is known to be a nonnegative integer, its factorial should be known to be positive.
I don't think that's needed here. As it is stated now, it will return `True` if and only if both conditions are `True`, which is what we need. I can switch to fuzzy here, but that will cost, and will not add any value.