同様に、A→SがHのスコープ外であるなら、公理1(A→S)→(H→(A→S))を適用し、モーダスポネンスを適用してH→(A→S)を得る。
类似的，如果A→S在H的范围之外，应用公理1：(A→S)→(H→(A→S))和肯定前件来得到H→(A→S)。