Theorem vs Swayzak