Category:Dilation of Subset of Vector Space Distributes over Sum