Explanation of the proof for Aristotle and summary of the proof

The works of Ibn Rushd on Aristotle are: first, summaries and compendiums that consist of what Ibn Rushd understood from Aristotle without the explanation directly relating to the text. second, paraphrases: also called minor commentaries, which are a follow-up to Aristotle without citing the texts. third, major commentaries: in which Ibn Rushd quotes Aristotle's statement, then provides an extensive explanation. The explanation of Al-Burhan is one of the major commentaries.