Какое определение использовано в шаге (4)?

Использовано определение перпендикулярных прямых: прямые перпендикулярны, если пересекаются под прямым углом.