Prodinger, H. An Identity Conjectured by Lacasse via the Tree Function. Electron. J. Combin. 2013, 20, P7.