LCHL Revision of JC synthetic geometry - Constructions 6,7,10,11,12, Axiom 4, Theorem 2