I think you left Revenue out of that equation...
If no revenue, then no success
The contrapositive of which is: If success, then revenue
Then given our previous theorem: If (Users and Hard Work) then Success.
Causality is commutative, so we can just substitute our earlier result: If (Users and Hard Work) then Revenue.
Thus we get Revenue in to that equation. This ought to work, at least in theory :)