An isoperimetric inequality for antipodal subsets of the discrete cube. (May 2018)