cake doughnut subgroup of doughnut, 1 assertions