Mikä oli todistettava.