提婆初至，為東亭講阿毗曇。始發講，坐半，僧彌便雲：“都已。”即於坐分數四有意人更就余屋自講。提婆竟，東亭問法岡道人曰“弟子都未解，阿彌那已解？所得雲何？”曰“大略全是，故當小未核耳。

　　卒哭讳。礼，讳嫌名。名不偏讳逮事父母则讳王父；不逮事母，则不王父母。所无私讳大夫之所公讳。《》、《书不讳，临不讳。庙不讳。夫之讳，虽君之前，不讳也；讳不出门大功小功讳。入竟问禁，入而问俗，门而问讳