सात राजू में एक लाख चालीस हजार योजन(मध्यलोक का प्रमाण) कम करने पर ऊर्ध्व लोक का प्रमाण होता है और अधोलोक सात राजू प्रमाण है।

Subtracting one lakh forty thousand yojanas (the measure of the middle world) from seven raju gives the measure of the upper world, and the lower world is seven raju.

— आराध्य सूत्र · #42