A sufficient condition to decide a simple graph with a complete subgraph

• 简单图含有完全子图的一个充分条件