俱舍論頌疏論本 13.33

13.33

第七別解脫戒證者，若無無表，則亦應無別解脫戒。以受戒後雖起異緣惡無記心，而名苾芻，明知別有無表戒色名別解脫戒，惡無記中相續而轉，名苾芻等。

Seventh, as for the proof from prātimokṣa morality: if there were no avijñapti, there should also be no prātimokṣa morality. Because after receiving the precepts, although evil or avyākṛta minds directed toward different conditions arise, one is still called a bhikṣu; one clearly knows that there is separately an avijñapti precept-form called prātimokṣa morality, which continues to function within evil and avyākṛta states, whereby one is called a bhikṣu and so forth.