Category:Bijection has Left and Right Inverse