är en apriori-bevisning ; vår upgift gällde ett historiskt factum.