> 完全に正しい証明
の「完全」が高木くんの完全(高木完全)だったら奇数の「高木完全数」は存在しそうだね