How can I prove a line is an altitude