schoenemanns theorem