Och för att bcwisa detta anföres en helmängd