proofserv lxb048:dvlambda:0 lxb057:dvlambda:0 lxb044:dvlambda:0 lxb055:dvlambda:0 lxb061:dvlambda:0