Pošalji tekstualnu poruku: Symmetric power functoriality for Hilbert modular forms