A note on discriminability of lambda terms - Gaborovič, Svitan (Array, 1996)