If each component of a continuous map on a box has opposite weak signs on the corresponding pair of faces, the map has a zero.
Projecting a sign-corrected displacement map back to a square turns Brouwer's fixed point into a zero of the displacement, proving that paths joining opposite side pairs intersect.