Is Cauchy's Theorem a theorem in combinatorics?