användt för att bevisa denna sin sats , hvilkens innehåll liandock