Little enhancement in some simple proof.
Make some enhancements about `DIV` theorems.
Proved another simple theorem about PARI and DISPARI.
Now the functions support multiline correctly ;)