Anfonwch hwn fel neges destun: Verma modules for Iwasawa algebras are faithful