Snark theorem