Injection from Bijection with Rep