مبرهنة الرواسب تربط التكامل الخطي لدالة تحليلية f حول منحنى مغلق γ في منطقة U بعد استبعاد نقاط منفردة a1,…,an بمجموع رواسبها عند تلك النقاط؛ حيث يساوي ∮γ f(z)dz = ٢πi Σ I(γ,ak) Res(f,ak)، ومع منحنى مغلق بسيط موجب يصبح I=١ للنقاط داخل γ و٠ لغيرها.
مبرهنة الرواسب تربط التكامل الخطي لدالة تحليلية f حول منحنى مغلق γ في منطقة U بعد استبعاد نقاط منفردة a1,…,an بمجموع رواسبها عند تلك النقاط؛ حيث يساوي ∮γ f(z)dz = ٢πi Σ I(γ,ak) Res(f,ak)، ومع منحنى مغلق بسيط موجب يصبح I=١ للنقاط داخل γ و٠ لغيرها.