# identities property of squaring functor?

From page 31 of The algebra of programming :

Next, consider the squaring functor $()^2: Fun \leftarrow Fun$ defined by

$$A^2 = \{(a, b) | a \in A, b \in B\} \\ f^2(a, b) = (f a, f b)$$

Functors are required to preserve identities and composition:

$$F(id_A) = id_{FA} \\ F(f \circ g) = Ff \circ Fg$$

The second property is easy:

$$(f \circ g)^2 (a, b) = ((f\circ g) (a), (f\circ g) b) \\ (f^2 \circ g^2) (a, b) = f^2 (g (a), g (b)) = ((f\circ g) (a), (f\circ g) (b))$$

But I can't figure out how the squaring functor preserve the identity property. Could anyone help?

Ok, I have worked it out:

$$id^2 (a, b) = (id(a), id(b)) = (a, b) = id_{A^2} (a, b)$$