关于sg函数的一些证明

NoSuchKey