Han fann den beprisadehomogeniteten