Coleman theorem