Higman’s Theorem