839 推论