theorem Th34:
  LeftComp g is_outside_component_of L~g
by GOBOARD9:def 1,Th33;
