I think this is a good hint that the conclusion isn't true. Just think about what it would mean if this were true for a sample of lotto winners. For a winner, if they win, their average number of winners is higher than the global average. Repeat this logic for each individual winner... And every winner wins with a higher number of winners than the average. Which is clearly impossible.
It would be true if you were guaranteed to win, since that's the assumption you have conditioned the probability on, but that's not a lottery then. If you want to get the actual expected value across all samples you need to take a weighted sum including the expected value when you don't win.