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

% DET: points C and I are not the same

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

% NDG: points C and O are not the same

Using the circle k(O,C), the line s_c, the point O and the point C, construct a point N_c (rule W05);

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

% DET: points C and N_c must be different

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

% NDG: points I and N_c are not the same

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

% NDG: circles k(O,C) and k(N_c,B) intersect

% DET: circles k(O,C) and k(N_c,B) are not the same