即“陈七子”，见该条。