>>308 訂正
n=1の証明は保存していなかったので、正しいものかどうか不確かだったので取り消します