Denna förmodan har nu visatsig