MahāvaggavaggaParihānikathā

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

[218] Sakavādin: The Stream-Enterer (sotāpanna) has seen suffering (dukkha), and the Stream-Enterer does not fall away from the Fruition of Stream-Entry (sotāpattiphala)? Paravādin: Yes. Sakavādin: The Arahant (arahā) has seen suffering, and the Arahant does not fall away from Arahantship (arahatta)? Paravādin: It should not be said so. … Sakavādin: The Stream-Enterer has seen the origin (samudaya) … has seen the cessation (nirodha) … has seen the path (magga) … has seen the four truths (cattāri saccāni), and the Stream-Enterer does not fall away from the Fruition of Stream-Entry? Paravādin: Yes. Sakavādin: The Arahant has seen the four truths, and the Arahant does not fall away from Arahantship? Paravādin: It should not be said so. …

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

This passage also appears in 5 other places