其实也可以不证的；而且这里并没有多少环论的知识，要是从群论开始写，写到UFD的话太多了，你可以假装读者有前置的知识