I'm following the proof of Turan's theorem on $\text{ex}(n,K^r)$ in Diestel's Graph Theory book (click to see the page) and something bothers me:
Since $G$ is edge-maximal without a $K^r$ subgraph, $G$ has a subgraph $K=K^{r-1}$. By the induction hypothesis, $G-K$ has at most $t_{r-1}(n-r+1)$ edges [...]
But why would $G-K$ be $K^{r-1}-$free ? Couldn't there be other $K^{r-1}$ disjoint subgraphs in $G$ ?