概完全数の定義が高木独自