Seja a função $f:A⟶B$. Sabe-se que o conjunto $A$ tem $(2K-2)$ elementos e o conjunto $B$ tem $(K+3)$ elementos$(K\in {\mathbb{Z}}_{+}^{\ast })$ . Se $f$ é injetora, então