Axiom of Pairing from Axiom of Subsets