Proof is updated. It contains all the results and should be correct, but wording and/or explanations may worth fixing.