概完全数の証明は今日修正が完了しました