158 1916年 强森定理