發送短信: Symmetric power functoriality for Hilbert modular forms