ヒープが完全二分木あるいは平衡二分木だという知識は使ってもいいのか？
あるいはそれも証明するのか？