Principal Bundle Transition Cocycle Theorem