Question: Is there a formal proof that the RNNs form a representation of the group?
Answer: No