一般に、

∀f：R→R s.t. P(f)∧Q(f)

が真なら

∀f：R→R s.t. P(f)
∀f：R→R s.t. Q(f)

は両方とも真である。これを

(3) ∀f：R→R s.t. (¬A∨B)∧(¬A∨¬S)

に適用すれば、

∀f：R→R s.t. ¬A∨B
∀f：R→R s.t. ¬A∨¬S

は両方とも真である。ここでは

∀f：R→R s.t. ¬A∨B

の方だけに興味がある。