(commutative algebra) Krull–Schmidt theorem (group theory) Kruskal's tree theorem (order theory) Kruskal–Katona theorem (combinatorics) Krylov–Bogolyubov theorem...