manns theorem