Scott Garrabrant comments on Sub-Sums and Sub-Tensors

[Scott Garrabrant]

Fixed, thanks. The proof was right, and the original claim was trivial.