Գրեք սա: Verma modules for Iwasawa algebras are faithful