Consider the set $S$ of all integers of the form $x^2+y^2+4xy$, where $x$ and $y$ are integers. How could one prove the set $S$ is closed under multiplication? I have tried the bashy brute force method, but to no avail. Perhaps someone could help?
EDIT: The 1st formula can be used to show that integers of the form $x^2+4xy+y^2$ are the same as integers of the form $r^2-3s^2$. The 3rd formula shows that the set of integers of the form $r^2-3s^2$ is closed under multiplication. The 2nd formula is just something I have to write down to get me to the 3rd formula.