તેથી, અહીં બે લેમ્બડા ચકાસણીઓનો ઉપયોગ કરવામાં આવે છે.