String theory, proven