Using the point H_c and the point T_c, construct a line c (rule W02);

% DET: points H_c and T_c are not the same

Using the point H_c and the line c, construct a line h_c (rule W10b);

Choose freely a point C on the line h_c (rule WOnline2)

Using the point C and the point T_c, construct a line s_c (rule W02);

% DET: points C and T_c are not the same

Using the point H_c, the point C, the point T_c, the line s_c and the line h_c, construct a line CO (rule W17);

% NDG: points C and T_c are not the same points H_c and C are not the same

% DET: points C and T_c are not the same

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

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

Using the point A and the point C, construct a line b (rule W02);

% DET: points A and C are not the same

Using the point M_b and the line b, construct a line m_b (rule W10b);

Using the line m_b and the line CO, construct a point O (rule W03);

% NDG: lines m_b and CO are not parallel

% DET: lines m_b and CO are not the same

Using the point A and the point O, construct a circle k(O,C) (rule W06);

% NDG: points A and O are not the same

Using the circle k(O,C), the line c, the point O and the point A, construct a point B (rule W05);

% NDG: line c and circle k(O,C) intersect

% DET: points A and B must be different