“…A smooth map f: N•¨P is a fold map if and only if the image of j2 f is contained in ƒ ¶n-p+1,0(N,P) and transverse to ‡"n-p+1,0(N,P 2.4 and Proposition 5.7 have already been proved in [An3]. We refer to [B-R], [S-S] and its references in low dimensions (3, 2) and (4, 3) A jet of ‡"n-p+1,0(N,P) will be called a fold jet.…”