This argument stems from [vG88].