Added missing proofs.
Fixed a bug in math.
Corrections, first part.
Before a consultation.