prime lens subgroup of lens, 5 assertions