Theorem vs. Swayzak