Definition:Proper Edge Coloring