镜武门的陈真历史上有这样一个人吗？基础是什么？