The NP-Completeness of Edge-Coloring | Synapse