في الرياضيات، وبالتحديد في التحليل العقدي، مبرهنة التعميل لفايرشتراس (Weierstrass factorization theorem) هي مبرهنة تنص على أن كل دالة كاملة يمكن أن يُعبر عهنا جداءا (قد يكون غير منته) تستعملن فيه أصفار هذه الدالة. قد يُنظر إلى هذه المبرهنة امتدادا للمبرهنة الأساسية في الجبر، والتي تنص على أن كل متعددة حدود قابلة للتعميل إلى حدود خطية، يستعمل في كل واحد منهم جذر من جذور هذه الحدودية.