Proof of heap property
Faild attempt of extending heap property proof