theorem and swayzak