Ett bevis derför ligger ja bland annat ide