Item 4.1.10.b.

Any induced subgraph of a complete graph is also complete.

in-context