chung minh cong thuc herong