Pullback of a Differential Form Is a Smooth Differential Form