إثبات حل المعادلات التفاضلية