Oell för alt bevisaotillräckligheten