formal proofs for several statements added
Several formal definitions and statements added
Merge pull request #8 from ShunkevichDV/master

[kb]  Several formal proofs, definitions and statements added