[Utah-astronomy] Math problem: vectors for planet axial tilt