A proof of Gromov's cube inequality on scalar curvature | Synapse