concurrent normals conjecture

Input interpretation

concurrent normals conjecture