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