-
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 C 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)
-
Choose freely a point B on the line hb (rule WOnline2)
|
 |