Using the point M_a and the point I, construct a line IM_a (rule W02);

% DET: points M_a and I are not the same

Using the point I and the point M_a, construct a circle k_over(I,M_a) (rule W09);

% NDG: points I and M_a are not the same

Using the point A and the line IM_a, construct a line AP`_a (rule W16);

Using the point M_a, the line AP`<sub>a</sub> and the point A, construct a line h<sub>Ma,-1/1</sub>(AP`_a) (rule W15);

Using the circle k_over(I,M_a) and the line h_Ma,-1/1(AP`_a), construct a point A_fo and a point P_a (rule W04);

% NDG: line h_Ma,-1/1(AP`_a) and circle k_over(I,M_a) intersect

Using the point P_a and the point I, construct a circle k(I,P_a) (rule W06);

% NDG: points P_a and I are not the same

Using the circle k(I,P_a), the point A and the point I, construct a line c and a line b (rule W12);

% NDG: point A is outside the circle k(I,P_a)

Using the circle k(I,P_a), the point M_a and the point I, construct a line x1 and a line a (rule W12);

% NDG: point M_a is outside the circle k(I,P_a)

Using the line c and the line a, construct a point B (rule W03);

% NDG: lines c and a are not parallel

% DET: lines c and a are not the same

Using the point M_a and the point B, construct a point C (rule W01);