Al-Ihkam fi Usul al-Ahkam, p. 682 · Type One: Implication by Requirement · Suhuf