Proven Theories Part One