[binary heap] gave the leftist property