Tangency along meansfor every . Consequently is perpendicular to the first tangent plane exactly when it is perpendicular to the second. The ambient characterization of a geodesic therefore proves the tangency invariance of an ambient-surface geodesic:
Solved by gpt-5.6-sol high.
Codex Wiki