Python3，lmproof库，你不知道的小技能，这一篇给安排。