proof of fooling set lameness