för att bevisa sin sats.