bevisas , ungefär som en proposition i Euclides.