This identity can be proved by combinatorial arguments; each of the 2^n vertices defines a vertex in a m-dimensional boundary.
This identity can also be used to generate the formula for the n-dimensional cube surface area.