A short proof for the polyhedrality of the Chvátal-Gomory closure of a compact convex set

Recently Schrijver's open problem, whether the Chvátal-Gomory closure of an irrational polytope is polyhedral was answered independently in the seminal works of Dadush et al. (2011) and Dunkel and Schulz (2010); the former even applies to general compact convex sets. We present a very short, easily accessible proof.