Satyasūtra
ye kecid bhikṣavaḥ samyag eva śraddhayā agārād anagārikāṃ pravrajaṃti sarve te caturṇāṃ āryasatyānāṃ jñānāya |
duḥkham āryasatyasya duḥkhasamudayasya duḥkhanirodhasya duḥkhanirodhagāminī pratipad āryasatyasya jñānāya |
tasmāt tarhi caturṇām āryasatyānām anabhisamitānām abhisamayāya atimātraṃ tīvracchando vyāyāmaś cotsudhiś cāprativāṇiś ca smṛtyā saṃprajanyena ca yogaḥ karaṇīyaḥ |
duḥkham āryasatyasya duḥkhasamudayasya duḥkhanirodhagāminī pratipad āryasatyasya iti |