Then, by applying the extension property twice, one can find isomorphic induced subgraphs Gi + 1 and Hi + 1 that include gi and hi together with all the vertices of the previous subgraphs.
Тогда, применяя свойство расширяемости дважды, можно найти изоморфные порождённые подграфы Gi + 1 и Hi + 1, включающие gi и hi вместе со всеми вершинами предыдущих подграфов.