我似乎把这些基本要素都集齐了 就是需要一个严格的证明过程