Iddhibalavagga

mil5.1.5:7.1 Catunnampi, mahārāja, ariyasaccānaṁ paṭivedhāya natthaññaṁ vatthu, saccaṁ vatthuṁ katvā cattāri ariyasaccāni paṭivijjhantīti.

mil5.1.5:7.2 Atthi, mahārāja, cīnavisaye cīnarājā, so mahāsamudde kīḷitukāmo catumāse catumāse saccakiriyaṁ katvā saha rathena antomahāsamudde yojanaṁ pavisati, tassa rathasīsassa purato purato mahāvārikkhandho paṭikkamati, nikkhantassa puna ottharati, api nu kho, mahārāja, so mahāsamuddo sadevamanussenapi lokena pakatikāyabalena sakkā paṭikkamāpetun”ti?

mil5.1.5:7.3 “Atiparittakepi, bhante, taḷāke udakaṁ na sakkā sadevamanussenapi lokena pakatikāyabalena paṭikkamāpetuṁ, kiṁ pana mahāsamudde udakan”ti?

mil5.1.5:7.4 “Imināpi, mahārāja, kāraṇena saccabalaṁ ñātabbaṁ ‘natthi taṁ ṭhānaṁ, yaṁ saccena na pattabban’ti.