Denna förmodan är heltoell