Vilkor en för antagandet lii fr a: