请问:原书解答中 This adds m propositions {E}i at the main level.到底啥意思?(见附件中划红线那句)这使得主层增加了m个{E}i.(按我理解,应该是一次操作增加了k个啊.)这使得主层由m个g组成的{E}i的个数增加了.(难道是这个意思?)