The Transportation Of Trifunctors In The Tricategory Of Bicategories