inverting lambdas --- note that this is stronger than what we prove in the paper