无需证明的定理是公理矢量图片生成

无需证明的定理是公理