  In a 2013 paper, Gromov proves that if smooth Riemannian metrics $g_i$
converge to a smooth Riemannian metric $g$ uniformly, and $g_i$ have scalar
curvature uniformly bounded below, then $g$ shares the same scalar curvature
lower bound. In some places in the paper, the proofs are only sketched. In this
paper we explain one of those sketched steps in detail. Specifically, we prove
that a cube (the product $[0,1]^n$) cannot have a Riemannian metric with
positive scalar curvature, such that the faces are mean convex, and such that
the dihedral angles along the edges are all acute.
  The proof is accomplished by taking such a metric, and producing from it a
metric on the $n$-torus with positive scalar curvature, contradicting the
Geroch conjecture.
