Al-Ihkam fi Usul al-Ahkam, p. 918 · Method 7: Proving the cause by concomitance and exclusion · Suhuf