Cohen–Hewitt factorization theorem — theorem of mathematics