prove bijection