fourth cup subgroup of cup, 2 assertions