Mathematical properties of Binary Trees