fibre bundle construction theorem