double cousin subgroup of cousin, 1 assertions