俱舍論記 13.88

13.88

「又若撥無至而名苾芻等」者，此是第七別解脫證。又若撥無無表色者，則無戒體。非受戒後有戒相續，雖起惡、無記異緣心而名苾芻等。既受戒後有戒相續，雖起、惡、無記異緣心而名苾芻等，明知別有無表為其戒體。

"Furthermore, if one denies [...] yet being called a bhikṣu and so forth": this is the seventh proof from the Prātimokṣa. Furthermore, if one denies uninformative form, there would be no entity of morality. It would not be the case that after receiving the precepts there is a continuity of morality, such that even while giving rise to evil or indeterminate minds focused on different objects, one is still called a bhikṣu and so on. Since after receiving the precepts there is a continuity of morality and, despite giving rise to evil or indeterminate minds directed toward different objects, one is still called a bhikṣu and so forth, we clearly know that there is separately the uninformative as the entity of the precepts.