P
Initializing...
The S-rule in the terminal case M_00 = 0 · Prove2Me