P
Initializing...
The prefix differential vanishes on a unit inserted before the cut · Prove2Me