MahāvaggavaggaParihānikathā

Abhidhammapiṭaka · Kathāvatthu · Vol. 37 · Section 200

[200] [Sakavādin:] Does an Arahant (arahā), falling away from Arahantship (arahatta), become established in the fruition of stream-entry (sotāpatti-phala)? [Paravādin:] Yes. [Sakavādin:] Does he realize Arahantship itself immediately after the fruition of stream-entry? [Paravādin:] It should not be said thus. … [Sakavādin:] Does an Arahant fall away from Arahantship? [Paravādin:] Yes. [Sakavādin:] Does a stream-enterer (sotāpanna) fall away from the fruition of stream-entry? [Paravādin:] It should not be said thus. [Sakavādin:] By whom have more defilements (kilesa) been abandoned — by the Arahant or by the stream-enterer? [Paravādin:] By the Arahant. [Sakavādin:] If more defilements have been abandoned by the Arahant, and the Arahant falls away from Arahantship, then indeed, sir, it must be said: "The stream-enterer falls away from the fruition of stream-entry."

English translation from the Pali (Siam Raṭṭha edition) — under review, not for citation.

This passage also appears in 5 other places