Ohr Hashem, First Treatise, First Principle
Can copy this into an AI, or connect the whole library to your assistant. For deeper learning, you can directly use the original seforim, sites, and apps.
בבאור המופת הב' אשר סדרו הרב אחר שקבל הקדמה אחת האומרת שבהמצא דבר מורכב מב׳ דברים וימצא הדבר האחד לבדו יתחייב א״כ מציאות האחר לבדו. וזה שאלו היה מציאותם. מחוייב שלא ימצאו אלא יחד כחומר והצורה הטבעית לא היה נמצא האחד בלתי האחד בשום פנים. ואחר בארו זאת ההקדמה סדר המופת בן. אנחנו נמצא דברים מורכבים ממניע ומתנועע רוצה לומר שיניעו זולתם ויתנועעו מזולתם ונמצא מתנועע לא יניע זולתו מחוייב א"כ שנמצא מניע לא מתנועע מזולתו. ולפי שאין בו תנועה הוא בלתי מתחלק ואינו גשם כמו שהתבאר בהקדמה הז':