Denna förmodan , harlyckligtwis