theorem Th44: :: EUCLID13:54

for A, B, C being Point of (TOP-REAL 2) st A,B,C is_a_triangle holds
A <> the_foot_of_the_altitude (A,B,C)