Denna förmodan är ätminstoneden