高橋周平の定理、完成する