w-derbZrlige bewiS , ejmindre