There is no algorithm that takes as input two lambda expressions and outputs TRUE or FALSE depending on whether or not the two expressions are equivalent.
Не постоји алгоритам који узима као улазне податке два ламбда израза и враћа TRUE or FALSE у зависности од тога да ли су та два израза еквивалентна или нису.