-
Using the point Mb and the point Hb, construct a line b (rule W02); % DET: points Mb and Hb are not the same
-
Choose freely a point C on the line b (rule WOnline1)
-
Using the point C and the point Mb, construct a point A (rule W01);
-
Using the point Hb and the line b, construct a line hb (rule W10b);
-
Choose freely a point B on the line hb (rule WOnline2)
|
 |