Okomitost pravca i ravnine na ravninu