given rational number subgroup of rational number, 1 assertions