Văn bản này: Verma modules for Iwasawa algebras are faithful