right prism subgroup of prism, 1 assertions