On the classification theorem for CR mappings

Let f: M --> M' be a real analytic CR mapping between hypersurfaces with f(p) = q, where p is an element of M and q is an element of M'. In this paper, the relation between the type at p and the one at q is considered. As a corollary of the type condition theorem (Theorem 1.1), a classification theorem, which states that under certain type condition, any real analytic CR mapping as above is constant, is proved.