Dettn påstående innebär alltså , att om en*