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