-
Using the point Ma and the point Mc, construct a line McMa (rule W02);
% DET: points Ma and Mc are not the same
-
Using the point Mb and the point Mc, construct a line McMb (rule W02);
% DET: points Mb and Mc are not the same
-
Using the point Ma and the line McMb, construct a line a (rule W16);
-
Using the point Mb and the line McMa, construct a line b (rule W16);
-
Using the line b and the line a, construct a point C (rule W03);
% NDG: lines b and a are not parallel
% DET: lines b and a are not the same
-
Using the point C and the point Ma, construct a point B (rule W01);
-
Using the point Mb and the point C, construct a point A (rule W01);