And Thus It Is Proven