The demand curve facing the dominant firm in the price leadership model is derived by subtracting the......?

Yes. You are right. Provided the dominanr firm is overwhelmingly dominant and the competititors are a small portion of the market operating locally without any brand loyalty.