<human>:  Why is the knot theorem true?
<bot>: The knot theorem states that any knot with a loop in it is a trefoil knot. This is because the trefoil knot is the only knot that can be unknotted by a single crossing change.