n=5の場合の成果とかいうやつの証明は>>99で間違いが指摘されたよね