Using the point M_b and the point H_b, construct a line b (rule W02);

% DET: points M_b and H_b are not the same

Using the point H_b and the line b, construct a line h_b (rule W10b);

Using the point M_b, the line h_b and the point H_b, construct a line h_Mb,1/3(h_b) (rule W15);

Choose freely a point G on the line h_Mb,1/3(h_b) (rule WOnline4)

Using the point G and the point M_b, construct a point B (rule W01);

Choose freely a point A on the line b (rule WOnline1)

Using the point A and the point M_b, construct a point C (rule W01);