; by hypothesis

is distinct from

. Let

be the

-line perpendicular to the