∃Ａ∃Ｂ（Ａｆ（Ｂ）＝Ｂ∧｜ｆ（Ｂ）｜＝０）＝＞（ｆ（０）＝０）。

∀Ａ∀Ｂ（（Ａｆ（Ｂ）＝Ｂ∧｜ｆ（Ｂ）｜＝０）＝＞（ｆ（０）＝０））。