Pascal law and proof (Nepali language)