Smith conjecture

The fixed point set of a finite-order 3-sphere diffeomorphism can't be a non-trivial knot