kinetic energy of the mass of ceres at 25 km/s