Assertion: abelian group's element | /r/HasProperty | a 1
Facets:
Source sentences:
text: G 1 × G 2 the element (a 1 ,a 2 ) has order lcm[n,m].