Lefivande eller ätminstone halflefwandebewis