John型充分性相关论文