[add some more stuff here]
Suppose $Z$ in NP-complete. If $X \in \text{NP}$ and $Z \leq_p X$ then $X$ is NP-complete.