これは、直前の仮説でない既出の仮説を改めて示し、それを演繹の前ステップとして使う場合のみ必要となる。
在实践中，这只在你希望采用一个不是最近假设的假设，并把它用为在演绎步骤之前的最终步骤的时候才是需要的。