gränsande förmodan är nog för attför