springform pan subgroup of pan, 2 assertions