The connected sum of two non-trivial knots is never the trivial knot. (i.e., you can't cancel knots.)
