 Some readers may wish to examine a somewhat more complex example, in which the above definition of membership is used to prove that 1 \(\in \epsilon[\lambda x \, x+2^2 = 5]\) given the premise that \( 1+2^{2} = 5\).  (A More Complex Example)