Denna förmodan har ytterligaravunnit