Fibre bundle construction theorem