It Is Proven That