أرسل هذا في رسالة قصيرة: Symmetric power functoriality for Hilbert modular forms