アメリカが20世紀に使ったセメントの総量を中国は3年で使ったらしい