Chu Văn An tiều ẩn Văn Trinh - Dương Trọng Hiếu, GS.