theorem Th22: :: NUMERAL2:22

7,10 are_coprime