You are principly correct ...
But I need to remind that the residence card is cross referenced to the passport.
So, it may cause a problem if the residence card is cross referenced to the lost passport !
Although usually only the residence card is checked on internal Schengen travel having a passport number different from the one on the (newly issued) passport is not a good idea ...
Which is a good reason to keep photocopies of your passport separately.