请教牛人：高微是不是只是把中微里面的东西拿来，用严格的数学语言加以重新表述、证明，还是讲一些新的内容？