för att bevisa satsen , att derika