Yes.
Such pronouncements are made when others challenge Catholic teaching and promote heretical views. Non-Catholics like to do this with teachings regarding Mary. Therefore, these "two for sure" having to do with Mary were necessary to define in response to that heresy.
You're saying it took 1800 years to clarify this????
And the Prots took 1,500 years to revolt.
There are other dogmas that were defined at a later date for different reasons. What is important to know is that these teachings were always the teachings of the Catholic Church. They weren’t suddenly created and they aren’t the only infallible teachings.