Hoàng Đình Hồng còn có bút danh khác là Trọng Nhân thì phải ?