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