5.6 LMSE验证可分性