Nontriviality
The trefoil knot is nontrivial, meaning that it is not possible to “untie” a trefoil knot in three dimensions without cutting it. From a mathematical point of view, this means that a trefoil knot is not isotopic to the unknot. In particular, there is no sequence of Reidemeister moves that will untie a trefoil.
Proving this requires the construction of a knot invariant that distinguishes the trefoil from the unknot. The simplest such invariant is tricolorability: the trefoil is tricolorable, but the unknot is not. In addition, virtually every major knot polynomial distinguishes the trefoil from an unknot, as do most other strong knot invariants.
Read more about this topic: Trefoil Knot