По какой формуле можно вычислять расстояние до небесного тела Солнечной системы \(по известному горизонтальному параллаксу\)?