Using the point M_b and the point I, construct a line IM_b (rule W02);

% DET: points M_b and I are not the same

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

% NDG: points I and M_b are not the same

Using the point B and the line IM_b, construct a line BP`_b (rule W16);

Using the point M_b, the line BP`<sub>b</sub> and the point B, construct a line h<sub>Mb,-1/1</sub>(BP`_b) (rule W15);

Using the circle k_over(I,M_b) and the line h_Mb,-1/1(BP`_b), construct a point B_fo and a point P_b (rule W04);

% NDG: line h_Mb,-1/1(BP`_b) and circle k_over(I,M_b) intersect

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

% NDG: points P_b and I are not the same

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

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

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

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

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

% NDG: lines c and b are not parallel

% DET: lines c and b are not the same

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