3*(gravitational constant) * (Mars mass)^2 / (5 * (Mars radius))