Q:

Knots isotopic to their mirror image

How do you prove a knot is achiral?
Do you just show swap the under crossings and the over crossings?

A:

Yes, it suffices to give a sequence of Reidemeister moves to transform the knot into its mirror image.  Proving that a knot is chiral is much more difficult.

