Houjun Liu
proof