这是个定理矢量图片生成

这是个定理