for A, B, C being Point of (TOP-REAL 2) st B <> C & |((B - A),(B - C))| = 0 holds
B = the_foot_of_the_altitude (A,B,C)