"Wenn die Gerade g mit einer Geraden der Ebene E einen rechten Winkel einschließt, dann ist g ein Lot zu E."
Verstehe die Fragestellung auch nicht.
Hier liegt eine unübliche Art von (ungebührlich?) verkürzter Definition vor. Definitionen kann man nicht "beweisen" oder überprüfen.
"Verkürzt" Lote werden normalerweise von einem Punkt aus gefällt oder gehen durch einen Punkt.
Wie habt ihr das denn genau gelernt?