theorem Th10: :: NUMBER14:10

for i, j being Integer holds
( i,j are_coprime iff |.i.|,j are_coprime ) by INT_6:14;