ali förmodan , finnes till.