שינויים
*נראה את שיטת פיקרד, באמצעותה נוכיח את משפט הקיום והיחידות.
*נבנה נוסחת נסיגה מהמשוואה האינטגרלית:
*נגדיר <math>\varphi_0=y_0</math>, ולכל <math>n</math> נגדיר <math>\varphi_nvarphi_{n+1}=y_0+\int_{x_0}^xf(t,\varphi_{n-1}varphi_n(t))dt</math>.
*מאוחר יותר נוכיח כי סדרת הפונקציות מתכנסת לפתרון של המד"ר.
**הערה: האינטגרל של הסדרה שואף לאינטגרל של פונקצית הגבול בזכות ההתכנסות במ"ש.
===הוכחת היחידות===
*טענת עזר - תהי <math>g</math> חסומה כך שלכל <math>x\geq x_0</math> בקטע <math>|x-x_0|\leq a</math> מתקיים כי <math>|g|\leq K\int_{x_0}^x|g(t)|dt</math> אזי <math>g=0</math> לכל <math>x\geq x_0</math> בקטע.
