证明：若 RRR 是 Λ\LambdaΛ 上的一个二元关系，M∈NFRM \in NF_RM∈NFR，则
(1) 不存在 N∈ΛN \in \LambdaN∈Λ 使得 M→RNM \rightarrow_R NM→RN（ M !≡NM ~!\!\equiv NM !≡N）
(2) M↠RN⇒M≡NM \twoheadrightarrow_R N \Rightarrow M \equiv NM↠RN⇒M≡N
(1) 反证法：反设存在 N∈ΛN \in \LambdaN∈Λ 使得 M→RNM \rightarrow_R NM→RN，从而
MMM 是 RRR-可归约式，M∉NFRM \notin NF_RM∉NFR，矛盾
(2) 反证法：反设 M !≡NM ~!\!\equiv NM !≡N，那么由 M↠RNM \twoheadrightarrow_R NM↠RN 知
存在 T∈ΛT \in \LambdaT∈Λ，使得 M→RTM \rightarrow_R TM→RT，T↠RNT\twoheadrightarrow_R NT↠RN，与 (1) 矛盾