Bundle Construction Theorem from Smooth Transition Functions