P
Initializing...
The pasted map's energy is at most the sum over the two pieces · Prove2Me