https://5dok.net/document/9ynd4gjz-properly-colored-cycles-in-edge-colored-graphs.html