The characterization conjecture. The kkk-graph FFF belongs to FACTORk\textbf{FACTOR}_kFACTORk if and only if it satisfies: