liebmanns theorem