LCHL Revision of JC synthetic geometry - Theorems 3, *4, 5, *6, 7 & 8