Sädant antagande har ätminstoneinom