Not sure where he got his stats from, but 9.56 million sounds about right.
https://news.sina.cn/gn/2023-01-17/detail-imyanfvn6707213.d....
(Figure 3)
2017 - 17.23 million
2018 - 15.23
2019 - 14.65
2020 - 12.00
2021 - 10.62
2022 - 9.56
Note that this is official Chinese gov statistics. Their numbers are known to be untrustworthy.