injective proof