filled doughnut subgroup of doughnut, 5 assertions