Properly edge-colored graph