square pyramid subgroup of pyramid, 1 assertions