历史上是否陈真其人（陈真历史上有没有这个人）