もし、その大きく岩石質の惑星がヘリウムを失っているなら、残されたものを推測できる。