concurrent normals conjecture