suppose US nominal GDP was $6,250 billion in 2000 and GDP chain price index is 125.0. Real GDP is: