// Construct ideal arcs using Theorem 1