Thus, the proof is completed (Borcherds (1992)).
このようにして、証明は完成した(Borcherds (1992))。