ステップ5の FA=FM=FNFA=FM=FNFA=FM=FN とステップ6の FJ=FM=FNFJ=FM=FNFJ=FM=FN を合わせると FJ=FAFJ=FAFJ=FA が得られ、証明が完了する。