Category:Composite of Bijections is Bijection