על איזה משפט אתה מדבר?
יש כמה, יש את ניוטון-לייבניץ (so called המשפט היסודי של החשבון האינטגרלי, עם ההצבה של גבולות האינטגרציה בפונקציה הקדומה), ויש את כלל לייבניץ לגזירת אינטגרלים ויש בטוח עוד כמה שלא עולים לי בראש עכשיו... בכל מקרה, אם אתה מדבר על המשפט היסודי של החשבון האינטגרלי, מייזלר או בספרים של האוניברסיטה הפתוחה בטוח יש את ההוכחה, אם זה זה, אולי אני לא אהיה עצלן ואכתוב לך הוכחה כאן מאוחר יותר