It is proved that immediate predecessor of all new nodes is only one of a node or successors in old concept lattice.

• 证明了所有新节点在原概念格中的直接父节点，只可能在某个节点和它的子节点中。