There are also different opinions around:
https://www.cyclistshub.com/how-much...ce-bike-weigh/

I'll not discuss the subtle and expensive topic of aero included in pro bikes, which are not available for casual bikes below 6000 EUR or more. The question here is about a 9 kg bike (not 7 kg). Long time ago, before 1990, I rode an inexpensive "third class" steel bike as a junior, around 10.5 kg. In 2015 I bought a 6.6 kg bike at a reasonable price of 2200 EUR (almost 2.5 kg less and below half of the price of the one of 5500 USD in the question here). Now I can see a lot of high brand expensive CF bikes (not special aero), around 9 kg at more than 5000 EUR. With such evolution, the expensive bikes will be so heavy that I'll start wonder whether CF over steel is really an advantage for casual riders.