Ly Huong editedly huong proof