累計錬成回数をseedに乱数生成
seedは毎回違うのでループはしない
はい証明完了