これらの証明は、エルブランの定理（エルブラン・リベの定理（英語版））の逆を証明したケン・リベ（英語版）(KenRibet)の証明をモデルとしている。
他们仿造肯尼斯·阿兰·黎贝证明埃尔布朗定理之逆定理（即所谓埃尔布朗-黎贝定理）的办法。