Följande k propositioner ha den9