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