Colemanův–Mandulův teorém