Added proofs in the HALO paper's note.