-
Using the point Hc and the point Tc, construct a line c (rule W02); % DET: points Hc and Tc are not the same
-
Choose freely a point A on the line c (rule WOnline1)
-
Using the point Hc and the line c, construct a line hc (rule W10b);
-
Choose freely a point B on the line c (rule WOnline1)
-
Choose freely a point C on the line hc (rule WOnline2)
|
 |