[binary heap] completed top operation