För cn nyckter och med antagli.a bewisem