Auto-translated
Yes, I forgot about that. Actually, because of this, the chance of getting your own hero isn't 1/9, but slightly more, but it's still fixed and, with the exception of the mentioned case, doesn't depend on which heroes have already been bought.