Härmed minskas nämligen den storamängdens