Add the derivation of `multirember' through `letrec' equivalent `let...in...end'.