Another way to say this is to say that a product is a terminal object in a certain category of cones, and as an object of this category, it follows that the product has no non-trivial automorphisms because, for any terminal object $1$, there is a unique map $1 o 1$, which must be the identity.