Beviset liärför är i korthet följande: