Let N (resp., U ) be a manifold (resp., an open subset of R m ). Let f : N → U and F : U → R ℓ be an immersion and a C ∞ mapping, respectively. Generally, the composition F • f does not necessarily yield a mapping transverse to a given subfiber-bundle of J 1 (N, R ℓ ). Nevertheless, in this paper, for any A 1 -invariant fiber, we show that composing generic linearly perturbed mappings of F and the given immersion f yields a mapping transverse to the subfiber-bundle of J 1 (N, R ℓ ) with the given fiber. Moreover, we show a specialized transversality theorem on crossings of compositions of generic linearly perturbed mappings of a given mapping F : U → R ℓ and a given injection f : N → U . Furthermore, applications of the two main theorems are given.