Assume is oriented. Fix and an ordered basis of . Contracting the product orientation successively with the constant vectors along produces a nowhere-zero top form on . Hence is orientable. Fixing a point and a basis in gives an orientation of in the same way. This is the orientability of factors of a product manifold.