lieviset för denna förmodan ligger derutiatt