Correspondence theorem (group theory)