Prove the existence of a group, unique up to isomorphism, generated by two involutions such that their product has infinite order. What is this group called?
A) The infinite dihedral group
B) The unique isomorphism group
C) The infinite order group
D) The generated group