Tripartite Version of the Corrádi-Hajnal Theorem
Let be a tripartite graph with vertices in each vertex class. If each vertex is adjacent to at least vertices in each of the other classes, then either contains a subgraph that consists of vertex-disjoint triangles or is a specific graph in which each vertex is adjacent to exactly vertices in each of the other classes.