שינויים
ולכן נקבל <math>\lim_{x\to a^{+}}\frac{f(x)}{g(x)}=\lim_{x\to a^{+}}\frac{f'(c(x))}{g'(c(x))}=\lim_{c\to a^{+}}\frac{f'(c)}{g'(c)} </math>
כרצוי השיוויון האחרון נובע מכך ש <math>a<c(x)<x</math> וממשפט הסנדויץ
הערה: המשפט נכון גם עבור במקרים ש: השאיפה היא באינסוף (<math>a=\infty</math>) או שהפונקציות שואפות לאינסוף- לא בהכרח לאפס (<math>\lim_{x\to a^+}f(x)=\lim_{x\to a^+}g(x)=\infty</math>)
או שהגבול של הנגזרות קיים במובן הרחב (<math>L=\infty</math>)
[[קטגוריה:אינפי]]
