If ${\bf G}$ and ${\bf H}$ have regular normal forms, then so does ${\bf G}$ x ${\bf H}$ and ${\bf G}$ * ${\bf H}$.
I am new to the concepts of regular normal forms. If anyone could offer any suggestions on how to attack this problem, then that would be great.