According to axiom PB10 $ \neg (\neg \eta \wedge \neg \eta )) \wedge \neg (p \wedge p) \rightarrow \neg (\neg (\eta \vee p) \wedge \neg (\eta \vee p)) $. According to axiom PB1