little prince subgroup of prince, 2 assertions