mathematical induction【サマーウォーズ/ケンカズ】