9. Синий кит во много раз больше любого обитателя Земли и достигает в длину 23 метров, а серый кит на 8 метров короче синего кита. Какова длина серого кита?