La fórmula para convertir las coordenadas ecuatoriales en coordenadas horarias es: