För att bewisa sin sats omkolerans